IMHO, Haskell is a bridge between practical programming and mathematics. That's why they use "monad" instead of "flatMappable", for example. It is connecting tw

IMHO, Haskell is a bridge between practical programming and mathematics. That's why they use "monad" instead of "flatMappable", for example. It is connecting two different languages that cover the same concepts. Regarding types, there is a talk from Gilad Bracha titled "Types are antimodular", and it makes a similar argument as the article.