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