3 ms·

I don't think that's the distinction fulafel tried to make. Elm is very much pure, yet it's on the pragmatic side: it forgoes certain powerful abstractions (hi

by tasuki 4y ago

I don't think that's the distinction fulafel tried to make. Elm is very much pure, yet it's on the pragmatic side: it forgoes certain powerful abstractions (higher kinded polymorphism, type classes), which enables the compiler to give very helpful error messages, and makes the language easier to learn.

bradrn 4y ago
> Elm is very much pure Huh… you’re quite right. I always thought it was impure. In that case I retract my previous comment (pity I can’t edit it any more!).