Haskell: The Bad Parts, part 2 (2020)
I'm enjoying the read. Having written a fair deal of Haskell, I'm really grateful for what leaning Haskell told me about programming at large. Snoyman has written amazing libs and acute articles, and I appreciate this series a lot.<p>My interest though are: what's next?<p>Can Haskell evolve? Can we move to a better standard lib? Here Snoyman has put forward a great effort by releasing his classy-prelude, but iirc he also stopped using it.<p>So what can be done? Could we come up with a new Haskell-spec version that fixes some of these, flips some pragmas to be on-by-default? I can imagine that laziness is not going out, it too much at the heart of the language: or am I just assuming that? But besides laziness there is a lot to fix by just setting a new standard. It will help newcomers, an eventually even old codebases may make the jump.<p>Some part of this article talks about partial functions. To what extend can we do without? Can we build a checker [1] for that and simply disallow it?<p>1: <a href="https://stackoverflow.com/questions/42151927/what-is-haskell-missing-for-totality-checking" rel="nofollow">https://stackoverflow.com/questions/42151927/what-is-haskell...</a>