Type inference

While strong, static typing makes Haskell safe, type inference makes it concise. The result is potent: we end up with a language that’s both safer than popular statically typed languages, and often more expressive than dynamically typed languages. This is a strong claim to make, and we will back it up with evidence throughout the book.

— Real World Haskell

— by Bryan O’Sullivan, Don Stewart, and John Goerzen

2011.01.09 Sunday ACHK