It is released. The ATS3-to-JS-in-ATS3 compiler released was generated this morning. It is still warm :) Yes, you need to have access to 'node' or 'nodejs' (probably a fairly recent version) in order to run the compiler and the JS code generated by the compiler.
I created a repository for those interested in trying ATS3: https://github.com/githwxi/XATSHOME Here is an example of computing a linear stream of prime numbers: https://github.com/githwxi/XATSHOME/blob/main/contrib/githwxi/pground/proj001%40250424/misc001/pstrm000.dats Will gradually write more and more documentation. It is an on-going process that has no ending in sight. Cheers! --Hongwei PS: Just checked my notes to learned that developing ATS3-to-JS-in-ATS3 has taken about 3 years so far. The whole ATS-Xanadu project started in April, 2018, since when 7 years has passed. On Thursday, April 24, 2025 at 2:52:10 PM UTC-4 gmhwxi wrote: > Hi, there, > > I will be releasing the first version of ATS3 shortly. > More will be said in a followup email. > > For those who are familiar with ATS2, I would like to emphasize > that ATS3 is very different from ATS2 at this point. Many advanced > features of ATS2 have yet to be incorporated into ATS3. > > As you can see, there are two words in 'program verification'. > Verification needs to be built on top of a productive approach > to program construction. > > While ATS2 focuses on program verification, ATS3 has shifted the > focus on program construction. The first priority of ATS3 is to provide > a means for programmers to construct programs in a higher productive > manner. The feature of templates in ATS3 is my attempt at it, and it is > likely my last attempt at it as well. One could only experiment for so much > and so long in one's own limited capacity. > > Cheers! > > Hongwei Xi > Principal Designer and Implementer of ATS PL System > > > > -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/ats-lang-users/b960aff6-c358-4b5c-84d5-5baae59709abn%40googlegroups.com.
