That would be great! When things are a bit more stable, I will announce again.
I expect that we will see more and more "meta-programming" support in ATS3, which should make programming a lot more interesting and productive. Cheers! On Monday, November 2, 2020 at 11:44:11 AM UTC-5 d4v3y_5c0n3s wrote: > 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/d48a5dba-382c-4cf1-ae45-f0df925fd715n%40googlegroups.com.