ats2-postiats-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:
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
Here is a list of major additions and changes since the last release:
1. With libatscc2js(JS), Atscc2js can now run entirely inside the
browser.
2. Patsopt(JS) and Atscc2js(JS) have been combined to allow one to
try ATS entirely in one's browser (running only client-side JS).
3. Treating the following form as a value: let ... in aValue end
(where aValue is assumed to be a value).
4. WebWorker-based support for session types in libatscc2js/Worker/channel
5. Fixing the handling of decarg of a function template declaration
6. Fixing a bug in effect-tracking of assignment: assigning a proof term
should not genereate any effect. Please see: d2exp_trup_assgn:D2LVALvar_mut
7. Adding libats/ML/gvalue
8. Adding libats/ML/dynarray
9. Adding an ATS2TUTORIAL-chapter on boxed tuples and records.
10. Adding an article in EFFECTIVATS on encoding propositional logic
11. Removing the once planned support for flattened references (ref@)