On the value of strong static typing

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…