8 months of OCaml after 8 years of Haskell in production

[atravers]

@maxigit

[…] from cutting-edge features, not stability […]

@atravers

It would be nice to see an innovation in GHC that, for example, got rid of some great number of semi-related language extensions, make GHC run 80% faster, etc !

Introducing NeoHaskell: A beacon of joy in a greyed tech world

If a system has N binary (on/off) inputs, then there are 2N combinations of inputs. # ghc --show-options | grep '\<XNo' | wc -l 132 # ghci GHCi, version 9.4.4: https://www.haskell.org/ghc/ :? for help ghci> 2^132 5444517870735015415413993718908291383296 ghci> It should already be happening…

---

As for any other innovation:

Introducing NeoHaskell: A beacon of joy in a greyed tech world

…prehaps most notably being the arrival of type classes in C++! More importantly though, designers of other languages can pick and choose what new innovations have appeared in Haskell. Therefore any advantage granted to Haskell by way of continual innovation also diminishes over time. But the same cannot be said about the cost of innovation. As I noted eariler, each new language-extending innovation has to exist alongside all prior ones, which leads to an exponential number of language-extensi…