Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp

Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by Sniffnoy on Friday September 10, 2021 @10:42PM (#28489017)

So, why is it named "Coalton"?

[ Parent | on HN ]

Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by dannyobrien on Friday September 10, 2021 @10:52PM (#28489054)

According to the OP, it's from http://mlton.org/ (see https://coalton-lang.github.io/20211010-introducing-coalton/... )

[ Parent | on HN ]

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 ]