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

[Hongwei Xi]

---------- Forwarded message ----------
From: Hongwei Xi <hw...@bu.edu>
Date: Tue, Dec 22, 2015 at 10:57 PM
Subject: [ats-lang-users] ATS2-0.2.5 released
To: ats-lan...@lists.sourceforge.net


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:

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/

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

[Yannick Duchêne]

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

3. 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? 

[gmhwxi]

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.

[Yannick Duchêne]

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.

[Hongwei Xi]

Thanks!

I added a similar README for 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.