3 ms·
The blog post seems to be getting some ML language history wrong: Caml was developed in INRIA (https://en.wikipedia.org/wiki/Caml https://en.wikipedia.org/wiki/
by gkuan 5y ago
The blog post seems to be getting some ML language history wrong: Caml was developed in INRIA (https://en.wikipedia.org/wiki/Caml https://en.wikipedia.org/wiki/Caml) and ML was originally from Edinburgh (https://en.wikipedia.org/wiki/ML_(programming_language) https://en.wikipedia.org/wiki/ML_(programming_language)).
- adrian_b 5y agoYes, 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.
- Zababa 5y agoI 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 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) https://en.m.wikipedia.org/wiki/ML_(programming_language). Maybe the author made a pun?
- deleted 5y ago[deleted]
- gkuan 5y agoInterestingly, 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 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 https://www.cl.cam.ac.uk/teaching/0910/FoundsCS/usingml.html). There was also Cardelli ML (https://smlfamily.github.io/history/SML-history.pdf 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.