@jalonso An important benefit to the "Simple Haskell" approach which doesn't seem to be mentioned: it might actually make it possible to write useful, small implementations. For all the brilliance of GHC, there's a compiler monoculture in the Haskell world. Like the Chrome monoculture, it's cemented by everyone choosing to rely on the behavior of a single implementation.

"We believe that when later generations look back at the development of mathematics one will recognise four important steps: (1) the Egyptian-Babylonian-Chinese phase, in which correct computations were made, without proofs; (2) the ancient Greeks with the development of ‘proof ’; (3) the end of the nineteenth century when mathematics became ‘rigorous’; (4) the present, when mathematics (supported by computer) finally becomes fully precise and fully transparent." H. Barendregt, F. Wiedijk.

Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!