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