ats2-postiats-0.3.7:
This is the 44th release of ATS2, the successor of the
ATS 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. Extending prelude/stream_vt with more functions
2. Improving ${PATSHOME}/contrib/libatscc2php/ATS2-0.3.2
3. Supporting the following style of function interface declaration:
extern
fun swap_boxed{a,b:type}(xy: (a, b)): (b, a)
(
Note that (a, b) needs to be replaced with @(a, b) at this point
)
4. Adding stream-processing functions in prelude and libats/ML
5. Hosting for ats-lang.org moved from OPENSHIFT2 to OPENSHIFT3
6. In progress:
A Functional Crash into ATS: ${PATSHOME}/doc/BOOK/ATS2FUNCRASH
7. Atscc2r34 (for transpiling ATS into R) is functioning and it is
expected to be improved gradually.
8. Improving ATSLIB/libats/ML: more list0-combinators; printing stuff