Day 3: The Mind Meld
In Star Trek, Spock had a special talent of connecting with a character with what he called the mind meld. Haskell enthusiasts often claim such a connection to their language. For many of them, the language feature that engenders the most respect is the type system. After spending so much time with the language, I can easily see why this is true. The type system is flexible and rich enough to infer most of my intent, staying out of my way unless I need it. I also get a sanity check as I build my functions, especially the abstract ones that compose functions.
Classes and Types
Haskell’s type system is one of its strongest features. It allows type inference, so programmers do not have heavier responsibilities. It is also ...