1 year ago
It's considered weird and hard by average programmer not because of type system but because of laziness and purity.
Some functional languages are already mainstream in some environments.
Example: OCaml/F# in finance industry
being mainstream was never the goal.
Haskell's unofficial slogan is "Avoid success at all costs."
Lots of popular languages have type system with similar level of sophistication: Scala (its type system is even more complicated than Haskell's), Swift, Rust.
The term "mainstream" hasn't been defined.
1 year, 8 months ago
A programming language has a limited "strangeness budget", and if this budget is exceeded, the language becomes too hard to learn.
1 year, 6 months ago
haskell is already mainstream