On: The seven programming ur-languages

[gkuan]

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)).

[Zababa → gkuan]

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?

[gkuan → Zababa]

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.

[adrian_b → gkuan]

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.