Bootstraping ATS via OCaml

[gmhwxi]

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

[aditya siram]

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!

[gmhwxi]

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.

[gmhwxi]

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/