Yes, JS is the first working target. The 'ML' in ATS3-ML is used in rather a loose sense.
By ML, I basically refer to a language that supports function closures and recursive datatypes/pattern matching. This is a broad category. ATS3-ML should readily be able to be compiled to any ML-like languages that I can think of. I may change the name ATS3-ML to ATS3-CML to reflect the fact that this language supports flat data representation (in contrast to the boxed data representation used by ML-like languages). Cheers! On Saturday, October 17, 2020 at 5:52:57 PM UTC-4 brandon...@gmail.com wrote: > 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/0e54d77d-52bd-41fe-b5c6-5d0ca6b74d74n%40googlegroups.com.