InfoQ Homepage Type Theory Content on InfoQ
-
Scala vs Idris: Dependent Types, Now and in the Future
Miles Sabin and Edwin Brady exemplify what can be done with a language with dependent types, what are the limitations and what could be done in the future when dependent types reach maturity.
-
The Trouble With Types
Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.
-
Dependent Types for JavaScript
Ravi Chugh introduces Dependent JavaScript (DJS), a statically-typed system for the imperative, object-oriented, dynamic language.
-
Types vs. Tests: An Epic Battle?
Amanda Laucher and Paul Snively debate solving problems through types and tests using different approaches.
-
Expressing Abstraction - Abstracting Expression
Ola Bini attempts to answer a few questions: Why are new languages still being created, Is it worth choosing languages strategically, and Does language actually matter?
-
Type Systems for DSLs
Markus Völter discusses what type systems are and some of the typing rules usually needed for DSLs, exemplifying the concepts with Xtext and MPS.