For the reference, here is some vintage deCaml stuff: https://www.cs.bu.edu/~hwxi/DML/deCaml/ https://www.cs.bu.edu/~hwxi/DML/deCaml/examples/
On Sunday, February 4, 2018 at 1:06:14 PM UTC-5, gmhwxi wrote: > > I would say that it was just a bit of adventure for myself. > > At one point, I hacked Caml-light (which turned into OCaml later). > I built deCaml on top of Caml-light, adding support for DML-style > dependent types. > > On Sunday, February 4, 2018 at 11:32:27 AM UTC-5, aditya siram wrote: >> >> 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. 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/00a0fb82-2ca6-4405-8037-0e33aec3e314%40googlegroups.com.