alt.hn

5/21/2026 at 7:07:56 AM

Comparing Objective Caml and Standard ML

https://adam.chlipala.net/mlcomp/

by lambertsimnel

5/21/2026 at 10:59:59 AM

Really nice, and evenhanded, breakdown.

I think OCaml is slept on in the LLM-hype discussion as it allows for very high level human readable abstractions and specifications, and feel all the ML inspired languages might be due for a resurgence of popularity.

Also a bit funny to monitor my own reactions as a spoiled F# dev, chunk by chunk, oscillating between “wow, that’s great I want to use that always” and “ew, yuck” for both languages. The grass is always greener, but also that which I’ve already nitpicked has fewer nits to pick, apparently.

by bonesss

5/21/2026 at 7:50:57 PM

(2020) at best

by mcc1ane