Comparing Objective Caml and Standard ML

lambertsimnel 14 points 2 comments May 21, 2026
adam.chlipala.net · View on Hacker News

Discussion Highlights (2 comments)

bonesss

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.

mcc1ane

(2020) at best

Semantic search powered by Rivestack pgvector
8,303 stories · 78,303 chunks indexed