On: Features of a dream programming language

[coldtea]

>I'm never going to understand the 'mathmatical jargon' argument against Haskell (and similar). Yes, but this can be true in almost any language that allows abstractions.

Well, the author (and many others) wants them to allow less abstractions then.

[redbar0n → coldtea]

Not necessarily. See this short clip where Elm creator Evan Czaplicki illustrates my point by way of the Monad:

https://youtu.be/oYk8CKH7OhE?t=1454 from 24:14 until 29:39.