Hi,
I am glad to announce the release of ATS2-0.2.6.
This is the 29th 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.6.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.6.tgz # contributed packages
ATS2-Postiats-include-0.2.6.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.5).
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:
- A minor fix to make the long form of macrodef work
- Adding an article in EFFECTIVATS on parsing combinators of CPS-style
- Allowing recursive evaluation of a file path: pkgsrcname_eval
4: Adding a section on linear C-strings in INT2PROGINATS
5: Adding an ATS2TUTORIAL-chapter on stack-allocated closure-functions
6: Adding support for #pragma(location, …) (referred to as locpragma) - Adding an article in EFFECTIVATS on imperative vs. functional vs. linear
functional