Awesome! I'm really keen to get into it! On Friday, April 25, 2025 at 4:55:15 AM UTC+10 [email protected] wrote:
> Great news! Very excited to try :) > > > -------- Original Message -------- > > On 4/25/25 1:51 AM, Hongwei Xi 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/CAPPSPLovH3CX1CYDFR5mn_xkdzfWZO56r%3DwiMAT2w%2BESN0MG_Q%40mail.gmail.com > > <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLovH3CX1CYDFR5mn_xkdzfWZO56r%3DwiMAT2w%2BESN0MG_Q%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > -- 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/be49a113-7245-400a-8796-0865f8fc3fd2n%40googlegroups.com.
