←
↑
→
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."
7 branch
‒
×
The argument is too complex. You can switch to list view.
last update:
kozet
(2 years, 5 months ago)
theemathas
