Clumsy type systems drive people to dynamically typed languages.
— Robert Griesemer
[A] proof is a program; the formula it proves is a type for the program.
— Haskell Curry and his intellectual descendants
WE study programming language concepts related to types—particularly, type systems and type inference—in this chapter.
3.149.214.60