Thanks for your continued efforts! That all sounds wonderful, just one question for now: it sounds like ATS3-ML's first working target will be Javascript. I wonder if ATS3-ML is similar enough to some existing ML to support an ML target? Or maybe I misunderstood and the ML target can already be executed standalone.
On Tuesday, September 1, 2020 at 12:52:11 PM UTC-4 gmhwxi wrote: > > Hi, there, > > I would like to say a few words on the current status of ATS3. > > Originally, I planned to complete a compiler from ATS3 to C/C++ by > the end of Summer, 2020. On the way, my plan changed somewhat. > This is the current status of ATS3: > > 1. In the following repository, there is a compiler from ATS3 to an > intermediate > language ATS3-ML (which is ML-like): > > https://github.com/githwxi/ATS-Xanadu > > This compiler is functioning. And it will be polished and improved > gradually. This > is the core for all of the future development of ATS3. Essentially, the > compiler first > does the so-called Hindley-style of type-inference, and then it performs > template resolution. > > 2. In the following repository, there is a running interpreter for testing > the aforementioned > compiler: > > https://github.com/xanadu-lang/xinterp > > This interpreter is not meant for practical use; it is mainly for testing > and documenting > the syntax of ATS3. > > 3. I am working on a compiler from ATS3-ML to JS: > > https://github.com/xanadu-lang/xats2js > > This compiler is meant for practical use. For instance, I plan to use it > for building a website for ATS3. Hopefully, this compiler will be > functioning in a couple of months. > > After xats2js, I will be working on dependent and linear type-checking for > ATS3 and then > a compiler from ATS-ML to C/C++. Will keep everyone informed. > > 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/b44430c7-7ed0-4761-aac5-8c1c193f1439n%40googlegroups.com.