Out of curiosity, why did you move from SML-NJ to OCaml for ATS? Was it some limitation of the language itself or did OCaml just have more community support?
Thanks! On Friday, January 26, 2018 at 7:23:01 PM UTC-6, gmhwxi wrote: > > > For keeping the record. > > I just bootstraped ATS1 (Anairiats) via ATS-geizella (written in OCaml). > > This is also a point for me to thank OCaml to get me started :) Actually, > I should thank SML-NJ, too, for I wrote (and learned how to write as well) > the first compiler for DML (Dependent ML). > > Cheers! > > --Hongwei > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/bd73ff8d-688d-4dd7-9ede-4a17014f6c31%40googlegroups.com.
