4 ms·

So, why is it named "Coalton"?

• dannyobrien 5y ago
  According to the OP, it's from http://mlton.org/ http://mlton.org/ (see https://coalton-lang.github.io/20211010-introducing-coalton/#acknowledgements https://coalton-lang.github.io/20211010-introducing-coalton/... )
  • Sniffnoy 5y ago
    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"?
    • reikonomusha 5y ago
      MLton is like a person’s name, pronounced “Milton”.
      • Sniffnoy 5y ago
        I see, thanks!