The current status of ATS3

[gmhwxi]

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

[d4v3y_5c0n3s]

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.

[gmhwxi]

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!