| > - Laziness can be hard to reason about for newcomers Yes > - You have to learn a lot of concepts from category theory right off the bat, because it uses IO and monads. No - in particular, you don't have to understand monads to use the IO monad. You just have to understand the IO monad API. That's pretty similar to not having to understand how motors work in order to drive a car. > - The community is full of clever tricks and idioms that aren't really necessary to write haskell code, but a beginner might think they need to know it. Yes, and that's the major mistake people may do when starting Haskell. You don't need (and you probably can't) know everything you read about in order to be efficient in Haskell. Just use the simple stuff and live the happy life. > - The type system is substantially more complex. Yes, but it shouldn't be a problem. See point above, learn only what you want/need and live the happy life. (also, Ocaml is an amazing language. It's fine if you enjoy it and don't enjoy Haskell) |
The evidence is overwhelming, considering how many people want to learn and write Haskell and how many people struggle with it. If people could ignore all of this stuff they would've figured that out by now, but they can't ignore it to really be productive. I like Haskell a lot btw, just don't think it's very practical, and it's most important contributions to FP are already being adopted in other languages without the additional complexity