On: 8 months of OCaml after 8 years of Haskell in prod...

[brabel]

If that's true, that's such a disappointment. I always thought of Haskell as the pinnacle of mathematical discipline in programming (though too hard for me to wrap my head around!).

[mjan22640 → brabel]

Such a pinnacle would be Agda. Haskell has mathematical holes.

[johnnyjeans → brabel]

Haskell is 30 years old at this point. It was pretty cutting edge in the 90s, but the pinnacle has climbed ever higher.