Fwd: [ats-lang-users] ATS2-0.3.3 released

[Hongwei Xi]

---------- Forwarded message ----------

Subject: [ats-lang-users] ATS2-0.3.3 released

Hi,

I am pleased to announce the release of ATS2-0.3.3

This is another big step towards supporting package-based
programming in ATS. For examples of packages, please visit
the following on-line directory:

https://github.com/githwxi/ATS-Postiats/tree/master/libats/BUCS320

This is the 40th 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 packages are included in this release:

ATS2-Postiats-0.3.3.tgz # requiring GMP
ATS2-Postiats-contrib-0.3.3.tgz # contributed packages
ATS2-Postiats-include-0.3.3.tgz # CATS-files w/ MIT license.

I have included ATS2-Postiats-contrib (instead of releasing it
separately). From this point on, I will gradually merge parts of
ATS2-Postiats-contrib into ATS2-Postiats, and rely on external
package management systems (e.g., npm) to handle those that
are not selected for merging.

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.2).

######

Cheers!

--Hongwei

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:

1. Supporting $tempenver in template implementation:
    This is a crucial addition in support of programming in ATS that
    may potentially be (very) deeply template-based!!!
(*
2: Re-arranging (and duplicating) files containing code of template
    implementation may cause the need for $tempenver to change. It is
    not yet understood what the reason is behind all of this behavior.
*)
3. Fixing a glitch involving tail-call optimization; please see the
    function hidexp_seq_simplify for details.
4. Supporting [reassume]: An assumed abstract type can be reassumed
    so as to make its (original) implementation available in the scope
    of the reassume-declaration.

############################## The End ##############################


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
ats-lang-users mailing list
ats-lang-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users