You can use arrow keys to navigate in the map.
Programming languages with fancy type systems (like Haskell) will never become mainstream.
haskell is already mainstream
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.
It's considered weird and hard by average programmer not because of type system but because of laziness and purity.
A programming language has a limited "strangeness budget", and if this budget is exceeded, the language becomes too hard to learn.
The term "mainstream" hasn't been defined.
Some functional languages are already mainstream in some environments.
Example: OCaml/F# in finance industry
It's not mainstream, but this is more because of other reasons (purity, non-strictness, syntax) than the type system.
being mainstream was never the goal.
Haskell's unofficial slogan is "Avoid success at all costs."
1 fallacy reported.
It isn’t because it wasn’t the goal, that it isn’t the case.
2 fallacies reported.
Begging The Question
That argument has not been settled and currently it appears to have more detractors than supporters.
Appeal To Belief
All evidence suggests otherwise.
- 8 branch
The argument is too complex. You can switch to list view.
last update: kozet