ATS2-0.2.5 released

Hi,

I am glad to announce the release of ATS2-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:

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.5.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.5.tgz # contributed packages
ATS2-Postiats-include-0.2.5.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.4).

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:

  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@)

ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users

Thanks!

I added a similar README for gobject.On Fri, Dec 25, 2015 at 4:39 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le mercredi 23 décembre 2015 05:15:15 UTC+1, gmhwxi a écrit :

I have included ATS2-Postiats-contrib (instead of releasing it
separately) as it is truly by now an indispensible part of ATS2.

In $PATSHOMERELOC/contrib/glib/SATS/glib there is a README saying the SATS
files there are not to be used independently. I feels it should be the same
with $PATSHOMERELOC/contrib/glib/SATS/gobject.


You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/16143f8b-8877-4151-b9ec-ba8a2ad68d57%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/16143f8b-8877-4151-b9ec-ba8a2ad68d57%40googlegroups.com?utm_medium=email&utm_source=footer
.

  1. Treating the following form as a value: let … in aValue end
    (where aValue is assumed to be a value).

I’m not sure to understand. Wasn’t it already the case? Or does it mean it
may be used as a value in an expression, as an example?

I have included ATS2-Postiats-contrib (instead of releasing it
separately) as it is truly by now an indispensible part of ATS2.

In $PATSHOMERELOC/contrib/glib/SATS/glib there is a README saying the SATS
files there are not to be used independently. I feels it should be the same
with $PATSHOMERELOC/contrib/glib/SATS/gobject.

This is a rather technical note for myself.
There is something called value-form restriction in the implementation.
I fixed a bug in the original implementation.On Wednesday, December 23, 2015 at 12:30:52 AM UTC-5, Yannick Duchêne wrote:

Le mercredi 23 décembre 2015 05:15:15 UTC+1, gmhwxi a écrit :

  1. Treating the following form as a value: let … in aValue end
    (where aValue is assumed to be a value).

I’m not sure to understand. Wasn’t it already the case? Or does it mean it
may be used as a value in an expression, as an example?