Just wanted to say Hi to all, and tell I don't forget about ATS, I just can't be at it, unfortunately for a long time I'm afraid, due to personal issues. Happy to see it has not been forgotten and it's still living. Hope this will be for as much long as possible.
Merry Christmas to all a bit early … Le jeudi 24 novembre 2016 17:00:36 UTC+1, gmhwxi a écrit : > > > ---------- Forwarded message ---------- > > Hi, > > I am pleased to announce the release of ATS2-0.2.12. > > This is the 35th release of ATS2, the successor of the > ATS (currently referred to as ATS1) programming language. The > compiler for ATS2 is given the name ATS/Positats, ATS2/Postiats > or simply Postiats. > > ###### > > The official website for ATS is: > > http://www.ats-lang.org > > ATS-Postiats is hosted at github: > > https://github.com/githwxi/ATS-Postiats > > Major releases of ATS2 are available at: > > https://sourceforge.net/projects/ats2-lang/ > > Major releases of external packages for ATS2 are available at: > > https://sourceforge.net/projects/ats2-lang-contrib/ > > A google-group for discussing ATS and related issues is at: > > https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users > > ###### > > The following packages are included in this release: > > ATS2-Postiats-0.2.12.tgz # requiring libgmp > ATS2-Postiats-contrib-0.2.12.tgz # contributed packages > ATS2-Postiats-include-0.2.12.tgz # CATS-files w/ BSD-like license > > I have included ATS2-Postiats-contrib (instead of releasing it > separately) as it is truly by now an indispensible part of ATS2. > > After installing ATS-Postiats-include, one can compile the C code > generated from ATS source without installing the ATS compiler. So > a convenient way to distribute software written in ATS is to simply > release the C code generated from the ATS source. > > See below for some major additions and changes since the last > release (ATS2-0.2.11). > > ###### > > Cheers, > > --Hongwei > > Computer Science Department > Boston University > 111 Cummington Street > Boston, MA 02215 > > Email: hw...@cs.bu.edu <javascript:> > Url: http://www.cs.bu.edu/~hwxi > Tel: +1 617 358 2511 (office) > Fax: +1 617 353 6457 (department) > > ###### > > Here is a list of major additions and changes since the last release: > > 1. Significantly expanding libatscc > 2. Improving typechecking involving $delay and $ldelay > 3. Changing symbolic to "%&+-./:=@~`^|*!?<>#" (that is, '$' is dropped) > 4. Supporting both string_make_stream and string_make_stream_vt > 5. Improving support for combinators in stream_vt, ML/list0 and ML/string > 6. Introducing $tyrep(...) for outputing terms representing types in the > generated code (so as to support direct use of C++ templates in ATS2) > > > > ------------------------------------------------------------------------------ > _______________________________________________ > ats-lang-users mailing list > ats-lan...@lists.sourceforge.net <javascript:> > https://lists.sourceforge.net/lists/listinfo/ats-lang-users > > -- 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 post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/7abe792a-4f94-465f-a649-04d0e6b0cd8c%40googlegroups.com.
