Hi,
I am glad to announce the release of ATS2-0.2.5.
This is the 28th 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:
ATS-Postiats is hosted at github:
Major releases of ATS2 are available at:
Major releases of external packages for ATS2 are available at:
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.5.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.5.tgz # contributed packages
ATS2-Postiats-include-0.2.5.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.4).
Cheers,
–Hongwei Xi
Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215
Email: hw…@cs.bu.edu
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:
- With libatscc2js(JS), Atscc2js can now run entirely inside the
browser. - Patsopt(JS) and Atscc2js(JS) have been combined to allow one to
try ATS entirely in one’s browser (running only client-side JS). - Treating the following form as a value: let … in aValue end
(where aValue is assumed to be a value). - WebWorker-based support for session types in libatscc2js/Worker/channel
- Fixing the handling of decarg of a function template declaration
- Fixing a bug in effect-tracking of assignment: assigning a proof term
should not genereate any effect. Please see:
d2exp_trup_assgn:D2LVALvar_mut - Adding libats/ML/gvalue
- Adding libats/ML/dynarray
- Adding an ATS2TUTORIAL-chapter on boxed tuples and records.
- Adding an article in EFFECTIVATS on encoding propositional logic
- Removing the once planned support for flattened references (ref@)
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users