News for hackers. Stuff that matters.

A comment on Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp. Parent comment

Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by Sniffnoy on Saturday September 11, 2021 @03:02AM (#28489954)
Ah, thanks, I missed that. So "Coalton" from "CLTon", presumably "Common Lisp" + "MLTon"; that just leaves the question of where "MLTon" comes from. "ML" from ML, yes, but whence the "Ton"?
[ Parent | on HN ]
Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by reikonomusha on Saturday September 11, 2021 @03:13AM (#28490001)
MLton is like a person’s name, pronounced “Milton”.
[ Parent | on HN ]
Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by Sniffnoy on Saturday September 11, 2021 @03:24PM (#28495041)
I see, thanks!
[ Parent | on HN ]