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/3FLqmOr7cUH-mxQHel9SRPuOEzc1y2Zzro1I4AAZRvAzjqqaj3vrHtYXyVycyUj4Ibo-AqMHDrGZibNYm2d5RcxHCucfk97sv5qGcohKiYA%3D%40patrickmn.com.
