# ATS2-0.2.2 released (fwd)

**URL:** <https://discourse.ats-lang.org/t/ats2-0-2-2-released-fwd/727>\
**Category:** Google Group\
**Created:** [August 29, 2015, 6:06pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-2-released-fwd/727 "2015-08-29T18:06:19Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 29, 2015, 6:06pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-2-released-fwd/727/1 "2015-08-29T18:06:19Z")

</div>

Hi,

I am glad to announce the release of ATS2-0.2.2.

This is the 25th 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](http://www.ats-lang.org)

ATS-Postiats is hosted at github:

> **[githwxi/ATS-Postiats](https://github.com/githwxi/ATS-Postiats)**
>
> ATS2: Unleashing the Potentials of Types and Templates - githwxi/ATS-Postiats

Major releases of ATS2 are available at:

> **[ats2-lang](https://sourceforge.net/projects/ats2-lang/)**
>
> Download ats2-lang for free. ATS2: Unleashing the potentials of types and templates. ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in...

Major releases of external packages for ATS2 are available at:

> **[ats2-lang-contrib](https://sourceforge.net/projects/ats2-lang-contrib/)**
>
> Download ats2-lang-contrib for free. External Contributions to the ATS2 PL System. This project primarily consists of external contributions made to the ATS2 programming language system in the forms of library packages, tutorials, examples, and all...

A google-group for discussing ATS and related issues is at:

[https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users](https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users)

The following packages are included in this release:

ATS2-Postiats-0.2.2.tgz  
ATS2-Postiats-contrib-0.2.2.tgz  
ATS2-Postiats-include-0.2.2.tgz

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

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](http://www.cs.bu.edu/~hwxi)  
Tel: +1 617 358 2511 (office)  
Fax: +1 617 353 6457 (department)

1. Adding support for explicitly boxed types: boxed and boxed\_vt
2. Adding backup links to INT2PROGINATS, ATS2TUTORIAL, and EFFECTIVATS.
3. Fixing a bug in typechecking loop invariants (see bug-2015-08-04).
4. Adding [g0int\_npow] and [g0float\_npow] and overloading \*\* with them.  
For instance: (x+y) **3 expands to x** 3 + 3_x\*\*2_y + 3_x_y **2 + y** 3
5. Adding the\_s2rtdatmap to the jsonization of generated constraints  
(for listing the inductively defined sorts used in the constraints)
6. Supporting tail-call optimization for static function templates
7. Supporting #codegen2 for datcon, datcontag, and fprint
8. Supporting the use of $d2ctype for taking the type of a dynamic constant