Hacker News Reader

The blog post seems to be getting some ML language history wrong: Caml was developed in INRIA (https://en.wikipedia.org/wiki/Caml) and ML was originally from Edinburgh (https://en.wikipedia.org/wiki/ML_(programming_language)).

View on HN

I think the CaML he's talking about is not the same as the CAML/Caml that then became OCaml, though I can't find any info on it. There's this page about the history of OCaml: https://ocaml.org/learn/history.html

The wikipedia page for ML mentionned that it was developed at Endinburgh by Robert Milner https://en.m.wikipedia.org/wiki/ML_(programming_language). Maybe the author made a pun?

Interestingly, there is a Cambridge ML (binary was called CML not to be confused with Concurrent ML CML), which seems to underlie the Nuprl theorem prover (http://www.nuprl.org/book/Metalanguage.html), and was used in Cambridge FCS courses (https://www.cl.cam.ac.uk/teaching/0910/FoundsCS/usingml.html). There was also Cardelli ML (https://smlfamily.github.io/history/SML-history.pdf). I am not aware of either being called CaML but who knows maybe there is more history out there.

Yes, Robin Milner was at Edinburgh when he created the first version of ML.

The author might have been confused by the fact that much later Robin Milner moved to Cambridge.

Reply on news.ycombinator.com