You can use arrow keys to navigate in the map.
haskell is already mainstream
A programming language has a limited "strangeness budget", and if this budget is exceeded, the language becomes too hard to learn.
This premise is not complete. The very fact that we have identified concrete "generations" of language succession means that there have been languages that are "sufficiently overbudgetted" that have succeeded in becoming mainstream. e.g. To a Fortran developer, Python must be an insane choice.
Maybe is not related with the original topic. I was just testing the new related argument feature :')
You don't take this site seriously.
It's considered weird and hard by average programmer not because of type system but because of laziness and purity.
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.