On the value of strong static typing
Posted in haskell on July 29th, 2007 5 Comments »
Here’s a great quote from Yaron Minsky about the use of types in functional programs.
[...] most of the advantage of types in a language like ML comes from completely vanilla uses of the type system. One of our programming maxims at Jane Street is to “make illegal states unrepresentable”. Algebraic datatypes, parametric polymorphism and abstraction [...]
