And maybe too "high level" because you basically have to learn category theory before you can do some things. Not to disparage Haskell because I agree it is really great for its target use cases and demographics. That is if you want to learn what a Monad is just to do I/O and any imperative style programming. And no parenthesis grouping functional call arguments, so you need to memorize the definition site of the functions in order to group the function arguments in order to read the code. Haskell seems to be for a mathematical mind and it inverts the type system to coinduction thus populating every type with Bottom, i.e. the conjunction of all types. Whereas many programmers want to think more inductively (where Any is the Top disjunction of all types) and imperatively as they accustomed to coming from C, C++, Java, Python, Javascript, etc..
1 Like