[ats-lang-users] ATS2-0.3.10 Released
Unleashing the potentials of types and templates
Status: Beta
Brought to you by:
ats-hwxi
From: Hongwei Xi <hw...@bu...> - 2018-03-22 03:05:23
|
Hi, I am pleased to announce the release of ATS2-0.3.10. ###### First, many thanks to Brandon Barker for his generous agreement to taking over the duty of packaging and releasing ATS from this point on. As a matter of fact, he helped a great deal package and release this version of ATS. Applause :) ###### ------------------------------------------------ ATS2-0.3.10.tgz: MD5: acb98ee91780cdde39c872203954d3b5 SHA1: 6a83800770cc50a7722c07e8c11122a901524ef8 ------------------------------------------------ This is the 47th 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/ ###### The following two packages are in this release as well: ATS2-Postiats-contrib-0.3.9.tgz # contributed packages ATS2-Postiats-include-0.3.9.tgz # CATS-files w/ MIT license. 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. Please see below for some major additions and changes since the last release (ATS2-0.3.9). ###### Cheers, --Hongwei Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Email: hw...@cs... 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. Improving atscntrb-sdstring and atscntrb-hx-cstream 2. Changing "atscntrb" to "atscntrb-hx" in the names of almost all of the npm-based ATS packages contributed by myself (Hongwei). This is a pervasive change due the wide use of these packages. 3. Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats 4. Adding share/SCRIPT/buildRelease.sh to automate build/release ATS |