Hi, I would like to give you a quick report on the current status of ATS3. I spent most of my time working on xatsopt and xats2js in the past two months.
What is Xatsopt? Xatsopt is a compiler that translates source code in ATS3 into a target language called the ATSCML that is both C-like and ML-like. The key steps in this translation include type inference (of Hindley-style) and template resolution. What is Xats2js? Xats2js is a compiler that translates from ATSCML to JavaScript. Currently, xats2js translates directly without performing optimizations. In particular, there is no optimization for handling tail-recursive calls. Xats2js is functioning and I myself am using it for some of my own work. Here is the github repo for xats2js: https://github.com/xanadu-lang/xats2js If you git-clone the repo, you can play with xats2js in the following directory: https://github.com/xanadu-lang/xats2js/tree/master/docgen/pground 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5e01d5b8-58fc-48b7-9311-4173592ce006n%40googlegroups.com.
