# ATS2-0.1.2 released

**URL:** <https://discourse.ats-lang.org/t/ats2-0-1-2-released/802>\
**Category:** Google Group\
**Created:** [August 29, 2014, 7:41pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-2-released/802 "2014-08-29T19:41:47Z")\
**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, 2014, 7:41pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-2-released/802/1 "2014-08-29T19:41:47Z")

</div>

Hi,

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

The official website for ATS is: [http://www.ats-lang.org](http://www.ats-lang.org)

The following packages are included in this release:

ATS2-Postiats-0.1.2.tgz  
ATS2-Postiats-include-0.1.2.tgz

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 in ATS2-0.1.2.

Cheers!

–Hongwei

This is the 11th 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.

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

Here is a list of major additions and changes since the last release:

1. Adding support for complements of char patterns (P2TCcharc)
2. Adding support for a packaging value (#[…|…]) to be used as a funarg
3. Modifying the target language of ATS/Postiats to support ATS-parse-emit
4. Adding support for explicitly naming dynload-functions:  
#define ATS\_DYNLOADNAME …
5. Adding support for attaching a prefix to names of static vars and funs:  
#define ATS\_STATIC\_PREFIX …

Slashdot TV.  
Video for Nerds. Stuff that matters.

> **[Slashdot: News for nerds, stuff that matters](https://tv.slashdot.org/)**
>
> Slashdot: News for nerds, stuff that matters. Timely news source for technology related news with a heavy slant towards Linux and Open Source issues.

  
ats-lang-users mailing list  
[ats-lan...@lists.sourceforge.net](mailto:ats-lan...@lists.sourceforge.net)  
[https://lists.sourceforge.net/lists/listinfo/ats-lang-users](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)