1 year, 3 months ago
It's considered weird and hard by average programmer not because of type system but because of laziness and purity.
1 year, 2 months ago
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, 10 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, 8 months ago
haskell is already mainstream