Thanks for the update! I've still got much to learn about ATS2, but ATS3 has got me very excited. I'll check out the Github page, perhaps I could help the project by doing some tests or the like. Please post if you could use some help on anything.
On Sunday, November 1, 2020 at 9:42:19 AM UTC-5 gmhwxi wrote: > 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 ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/a1d84c8f-95a7-49e1-8936-5c73a0f50332n%40googlegroups.com.
