InfoQ Homepage Type Theory Content on InfoQ
-
Learning to Love Type Systems
Lauren Tan talks about type systems in TypeScript, Flow, and GraphQL that can improve confidence and help ship less bugs to production every day.
/presentations/type-system-typescript-flow-graphql/en/mediumimage/Laubig-1548598814171.JPG)
-
From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System
Ryan Lemmer takes a look at Haskell’s type system, including extensions: GADTs, multi-param type-classes, functional dependencies, type functions, kind polymorphism, type promotion, etc.
/presentations/haskell-type-system/en/mediumimage/Rybig-1525626563515.JPG)
-
Deconstructing TypeScript’s Type System
Spencer Schneidenbach discusses some of the advanced type features of TypeScript, including intersection types, type guards, nullable types, type aliases, string literals, and discriminated unions.
/presentations/typescript-type-system/en/mediumimage/Spebig-1511311528384.JPG)
-
Scala Typeclasses
Emanuele Blanco introduces Scala’s typeclasses, discussing when to use them and how to implement them, looking at some examples and figuring out how to do more with less code.
/presentations/scala-typeclasses/en/mediumimage/Emabig-1510764946823.JPG)
-
Category Theory for the Working Hacker
Philip Wadler on why category theory is relevant for developers, discussing the principle of Propositions as Types connecting propositions and proofs in logic, and types and programs in computing.
/presentations/category-theory-propositions-principle/en/mediumimage/Phibig.JPG)
-
Types Working for You, Not against You
Richard Dallaway shows an example of what Scala looks like when using pattern matching over classes, how to encode an idea into types and use advanced features of Scala without complicating the code.
/presentations/scala-patterns-types/en/mediumimage/Ricbig.JPG)
-
Contracts in Clojure: Settling Types vs Tests
Jessica Kerr talks about Clojure and explores the potential of contracts as the best-yet compromise between types and tests.
/presentations/clojure-contracts/en/mediumimage/Jesbig.JPG)
-
Finding Minimum Type Error Sources
The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.
/presentations/mimimum-type-errors/en/mediumimage/Timbig.jpg)
-
Confined Gradual Typing
The authors discuss gradual typing, combining static’s safety and dynamic’s flexibility in a single programming language by implicitly inserting casts where needed.
/presentations/gradual-typing/en/mediumimage/Espbig.jpg)
-
Rate Types for Stream Programs
Thomas Bartenstein, Yu David Liu introduce RATE TYPES, a new type system to reason about and optimize data-intensive programs, performing static quantitative reasoning about stream rates.
/presentations/rate-types/en/mediumimage/Thomasbig.JPG)
-
Data Modeling for Scale with Riak Data Types
Sponsored by Basho. Sean Cribbs discusses the theory behind several rich data types introduced with Riak 2.0 and then walking through some example applications that use them in popular languages.
/presentations/data-modeling-riak/en/mediumimage/Seanbig.jpg)
-
Scalaz 'For the Rest of Us'
Adam Rosien introduces scalaz, how to use it to make code simpler and type safer, how it compensates for Scala issues, and how it encapsulates DI and data validation.
/presentations/scalaz-introduction/en/mediumimage/Adambig.jpg)