# ATS2-0.0.6 release

**URL:** <https://discourse.ats-lang.org/t/ats2-0-0-6-release/281>\
**Category:** Google Group\
**Created:** [February 17, 2014, 4:58am UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281 "2014-02-17T04:58:57Z")\
**Posts on this page:** 7\
**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:** [February 17, 2014, 4:58am UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/1 "2014-02-17T04:58:57Z")

</div>

This is the sixth 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](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...

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

1. Symbol for overloading no longer require to be declared first.
2. Adding libats-hwxi/cstream for supporting a simple style of lexing
3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
4. Both static/extern function names are now stamped at the end.
5. Fixing a bug in pattern matching: left-values should be dereferenced!
6. Polymorphic data constructors no longer require explicit type arguments  
(for compilation purpose).
7. Handling of template parameters is greatly improved.

Android apps run on BlackBerry 10  
Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
Now with support for Jelly Bean, Bluetooth, Mapview and more.  
Get your Android app in front of a whole new audience. Start now.  
[http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk)  
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)

---

<div class="post-metadata">

**Author:** ![Chotu\_S](https://avatars.discourse-cdn.com/v4/letter/c/7cd45c/32.png) [@Chotu\_S](https://discourse.ats-lang.org/u/Chotu_S)\
**Post date:** [February 18, 2014, 6:01am UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/2 "2014-02-18T06:01:37Z")

</div>

So how do I determine which version I am using ? I think I have installed  
the latest package but here is the output from patscc :

./patscc --version  
exec(patsopt --version)  
Hello from ATS2(ATS/Postiats)!  
ATS/Postiats version 0.0.4 with Copyright (c) 2011-2013 Hongwei Xi  
…On Mon, Feb 17, 2014 at 10:28 AM, Hongwei Xi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:

> ---------- Forwarded message ----------  
> From: Hongwei Xi [hw...@bu.edu](mailto:hw...@bu.edu)  
> Date: Sun, Feb 16, 2014 at 11:55 PM  
> Subject: [ats-lang-users] ATS2-0.0.6 release  
> To: [ats-lan...@lists.sourceforge.net](mailto:ats-lan...@lists.sourceforge.net)
> 
> Hi, there,
> 
> I am glad to announce the release of ATS2-0.0.6.
> 
> See the following list for the added features and also bug-fixes.  
> Also, ats2-contrib has been upgraded to version-0.0.5.
> 
> Template compilation has been improved very significantly in this  
> release.
> 
> The template system in ATS2 is designed to be a “high-mechanism”  
> to greatly increase programming productivity. It is a feature orthogonal  
> to the support for dependent types and linear types in ATS. For instance,  
> one can write C-style templates in ATS that would have to be based on  
> macros if done in C directly.
> 
> In the current ATS2-contrib, there is a minimal API for using SDL2  
> in ATS. If someone wants to implement a game in ATS, this can be pretty  
> useful.
> 
> Last, I want to stress that programming in ATS2 is a lot more convenient  
> than in ATS. Hopefully, programming in ATS2 will become even more  
> convenient  
> in the future. If you were “scared” away by ATS, please give ATS2 a try 🙂
> 
> Cheers,
> 
> –Hongwei
> 
> Date: February 16, 2014
> 
> This is the sixth 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](http://www.ats-lang.org)
> 
> ATS-Postiats is hosted at github:
> 
> [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> 
> Major releases of ATS2 are available at:
> 
> [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> 
> Major releases of external packages for ATS2 are available at:
> 
> [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> 
> Here is a list of major additions and changes since the last release:
> 
> 1. Symbol for overloading no longer require to be declared first.
> 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> 4. Both static/extern function names are now stamped at the end.
> 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> 6. Polymorphic data constructors no longer require explicit type arguments  
> (for compilation purpose).
> 7. Handling of template parameters is greatly improved.
> 
> * * *
> 
> Android apps run on BlackBerry 10  
> Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> Get your Android app in front of a whole new audience. Start now.
> 
> [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk)
> 
> * * *
> 
> ats-lang-users mailing list  
> [ats-lan...@lists.sourceforge.net](mailto:ats-lan...@lists.sourceforge.net)  
> [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> To view this discussion on the web visit  
> [https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqZ6Ywf3%3Da1uq%3DwAXQQ5UNdTDkoXH8doRzv0qJxxdGBAQ%40mail.gmail.com](https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqZ6Ywf3%3Da1uq%3DwAXQQ5UNdTDkoXH8doRzv0qJxxdGBAQ%40mail.gmail.com)  
> .

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [February 17, 2014, 5:15pm UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/3 "2014-02-17T17:15:53Z")

</div>

I was idly wondering what the best approach on porting something complex  
like Quake to ATS would be (I have no plans to do it right now). It seems  
that a direct port doesn’t make a lot of sense in ATS for complex systems  
like a 3d gaming engine, where you have to constantly fight the original  
API which may have more elegant interfaces in ATS.

Rather it seems that a good approach would be to first really understand  
the code quite well, identify specific I/O parts that need to be basically  
the same as in C, then think about how to abstract the rest of the  
framework in ATS.

Brandon Barker  
brandon…@gmail.comOn Mon, Feb 17, 2014 at 12:07 PM, Brandon Barker [brandon...@gmail.com](mailto:brandon...@gmail.com)wrote:

> I hope I get a chance to do something with the SDL interface someday.  
> Perhaps I can combine my interest in games (SDL), computer programming  
> (ATS, Conway’s game of life), and biology (\*in silico \*organisms), to  
> make a pretty petri dish application simulating “real” cells.
> 
> More seriously or at least more to the point, I think it is a great  
> library to have an interface to given the general interest in game  
> programming, which can also make good use of the performance in ATS. Too  
> many multimillion dollar games seem to have bugs in them that persist over  
> the years.
> 
> On Sunday, February 16, 2014 11:58:57 PM UTC-5, gmhwxi wrote:
> 
> > ---------- Forwarded message ----------  
> > From: Hongwei Xi [hw...@bu.edu](mailto:hw...@bu.edu)  
> > Date: Sun, Feb 16, 2014 at 11:55 PM  
> > Subject: [ats-lang-users] ATS2-0.0.6 release  
> > To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)
> > 
> > Hi, there,
> > 
> > I am glad to announce the release of ATS2-0.0.6.
> > 
> > See the following list for the added features and also bug-fixes.  
> > Also, ats2-contrib has been upgraded to version-0.0.5.
> > 
> > Template compilation has been improved very significantly in this  
> > release.
> > 
> > The template system in ATS2 is designed to be a “high-mechanism”  
> > to greatly increase programming productivity. It is a feature orthogonal  
> > to the support for dependent types and linear types in ATS. For instance,  
> > one can write C-style templates in ATS that would have to be based on  
> > macros if done in C directly.
> > 
> > In the current ATS2-contrib, there is a minimal API for using SDL2  
> > in ATS. If someone wants to implement a game in ATS, this can be pretty  
> > useful.
> > 
> > Last, I want to stress that programming in ATS2 is a lot more convenient  
> > than in ATS. Hopefully, programming in ATS2 will become even more  
> > convenient  
> > in the future. If you were “scared” away by ATS, please give ATS2 a try 🙂
> > 
> > Cheers,
> > 
> > –Hongwei
> > 
> > Date: February 16, 2014
> > 
> > This is the sixth 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](http://www.ats-lang.org)
> > 
> > ATS-Postiats is hosted at github:
> > 
> > [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> > 
> > Major releases of ATS2 are available at:
> > 
> > [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> > 
> > Major releases of external packages for ATS2 are available at:
> > 
> > [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> > 
> > Here is a list of major additions and changes since the last release:
> > 
> > 1. Symbol for overloading no longer require to be declared first.
> > 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> > 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> > 4. Both static/extern function names are now stamped at the end.
> > 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> > 6. Polymorphic data constructors no longer require explicit type arguments  
> > (for compilation purpose).
> > 7. Handling of template parameters is greatly improved.
> > 
> > * * *
> > 
> > * * *
> > 
> > Android apps run on BlackBerry 10  
> > Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> > Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> > Get your Android app in front of a whole new audience. Start now.  
> > [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&)  
> > iu=/4140/ostg.clktrk
> > 
> > * * *
> > 
> > ats-lang-users mailing list  
> > [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)  
> > [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)
> > 
> > –  
> > 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](mailto:ats-lang-user...@googlegroups.com).  
> > To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> > To view this discussion on the web visit  
> > [https://groups.google.com/d/msgid/ats-lang-users/7079ad18-62ac-4356-8a27-94e934dbd79b%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/7079ad18-62ac-4356-8a27-94e934dbd79b%40googlegroups.com)  
> > .

---

<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:** [February 18, 2014, 6:08am UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/4 "2014-02-18T06:08:56Z")

</div>

I just downloaded and compiled it.

You should see:

Hello from ATS2(ATS/Postiats)!  
ATS/Postiats version 0.0.6 with Copyright (c) 2011-2014 Hongwei Xi

Try to find ${PATSHOME}/bin/patsopt and do

${PATSHOME}/bin/patsopt --versionOn Tuesday, February 18, 2014 1:01:37 AM UTC-5, chotu s wrote:

> So how do I determine which version I am using ? I think I have installed  
> the latest package but here is the output from patscc :
> 
> ./patscc --version  
> exec(patsopt --version)  
> Hello from ATS2(ATS/Postiats)!  
> ATS/Postiats version 0.0.4 with Copyright (c) 2011-2013 Hongwei Xi  
> …
> 
> On Mon, Feb 17, 2014 at 10:28 AM, Hongwei Xi \<[gmh...@gmail.com](mailto:gmh...@gmail.com)\<javascript:\> wrote:
> 
> > ---------- Forwarded message ----------  
> > From: Hongwei Xi \<hw…@bu.edu \<javascript:\>\>  
> > Date: Sun, Feb 16, 2014 at 11:55 PM  
> > Subject: [ats-lang-users] ATS2-0.0.6 release  
> > To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>
> > 
> > Hi, there,
> > 
> > I am glad to announce the release of ATS2-0.0.6.
> > 
> > See the following list for the added features and also bug-fixes.  
> > Also, ats2-contrib has been upgraded to version-0.0.5.
> > 
> > Template compilation has been improved very significantly in this  
> > release.
> > 
> > The template system in ATS2 is designed to be a “high-mechanism”  
> > to greatly increase programming productivity. It is a feature orthogonal  
> > to the support for dependent types and linear types in ATS. For instance,  
> > one can write C-style templates in ATS that would have to be based on  
> > macros if done in C directly.
> > 
> > In the current ATS2-contrib, there is a minimal API for using SDL2  
> > in ATS. If someone wants to implement a game in ATS, this can be pretty  
> > useful.
> > 
> > Last, I want to stress that programming in ATS2 is a lot more convenient  
> > than in ATS. Hopefully, programming in ATS2 will become even more  
> > convenient  
> > in the future. If you were “scared” away by ATS, please give ATS2 a try 🙂
> > 
> > Cheers,
> > 
> > –Hongwei
> > 
> > Date: February 16, 2014
> > 
> > This is the sixth 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](http://www.ats-lang.org)
> > 
> > ATS-Postiats is hosted at github:
> > 
> > [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> > 
> > Major releases of ATS2 are available at:
> > 
> > [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> > 
> > Major releases of external packages for ATS2 are available at:
> > 
> > [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> > 
> > Here is a list of major additions and changes since the last release:
> > 
> > 1. Symbol for overloading no longer require to be declared first.
> > 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> > 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> > 4. Both static/extern function names are now stamped at the end.
> > 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> > 6. Polymorphic data constructors no longer require explicit type arguments  
> > (for compilation purpose).
> > 7. Handling of template parameters is greatly improved.
> > 
> > * * *
> > 
> > Android apps run on BlackBerry 10  
> > Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> > Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> > Get your Android app in front of a whole new audience. Start now.
> > 
> > [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk)
> > 
> > * * *
> > 
> > ats-lang-users mailing list  
> > [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>  
> > [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)
> > 
> > –  
> > 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...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>  
> > .  
> > To view this discussion on the web visit  
> > [https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqZ6Ywf3%3Da1uq%3DwAXQQ5UNdTDkoXH8doRzv0qJxxdGBAQ%40mail.gmail.com](https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqZ6Ywf3%3Da1uq%3DwAXQQ5UNdTDkoXH8doRzv0qJxxdGBAQ%40mail.gmail.com)  
> > .

---

<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:** [February 17, 2014, 5:55pm UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/5 "2014-02-17T17:55:03Z")

</div>

In general, the question you want to ask before porting something to ATS is  
why you want to port it in the first place.

Say I want implement a game using Quake. I will first design an interface  
for  
functions I need that are to be based on Quake. I will try to do  
programming in  
ATS behind this interface, but this interface can be implemented in whatever  
language or languages I find appropriate.

This is very similar to using library code in ATS. You don’t want to use  
something  
like linmap\_avltree directly; instead, you introduce an abstract type  
called ‘mymap’, which  
can be quickly implemented based on linmap\_avltree (or other maps like  
hashtable\_chain).

I advocate programmer-centric programming. Have your own interface and  
implement it  
quickly based something that is similar.On Monday, February 17, 2014 12:15:53 PM UTC-5, Brandon Barker wrote:

> I was idly wondering what the best approach on porting something complex  
> like Quake to ATS would be (I have no plans to do it right now). It seems  
> that a direct port doesn’t make a lot of sense in ATS for complex systems  
> like a 3d gaming engine, where you have to constantly fight the original  
> API which may have more elegant interfaces in ATS.
> 
> Rather it seems that a good approach would be to first really understand  
> the code quite well, identify specific I/O parts that need to be basically  
> the same as in C, then think about how to abstract the rest of the  
> framework in ATS.
> 
> Brandon Barker  
> [brand...@gmail.com](mailto:brand...@gmail.com) \<javascript:\>
> 
> On Mon, Feb 17, 2014 at 12:07 PM, Brandon Barker \<[brand...@gmail.com](mailto:brand...@gmail.com)\<javascript:\> wrote:
> 
> > I hope I get a chance to do something with the SDL interface someday.  
> > Perhaps I can combine my interest in games (SDL), computer programming  
> > (ATS, Conway’s game of life), and biology (\*in silico \*organisms), to  
> > make a pretty petri dish application simulating “real” cells.
> > 
> > More seriously or at least more to the point, I think it is a great  
> > library to have an interface to given the general interest in game  
> > programming, which can also make good use of the performance in ATS. Too  
> > many multimillion dollar games seem to have bugs in them that persist over  
> > the years.
> > 
> > On Sunday, February 16, 2014 11:58:57 PM UTC-5, gmhwxi wrote:
> > 
> > > ---------- Forwarded message ----------  
> > > From: Hongwei Xi [hw...@bu.edu](mailto:hw...@bu.edu)  
> > > Date: Sun, Feb 16, 2014 at 11:55 PM  
> > > Subject: [ats-lang-users] ATS2-0.0.6 release  
> > > To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)
> > > 
> > > Hi, there,
> > > 
> > > I am glad to announce the release of ATS2-0.0.6.
> > > 
> > > See the following list for the added features and also bug-fixes.  
> > > Also, ats2-contrib has been upgraded to version-0.0.5.
> > > 
> > > Template compilation has been improved very significantly in this  
> > > release.
> > > 
> > > The template system in ATS2 is designed to be a “high-mechanism”  
> > > to greatly increase programming productivity. It is a feature orthogonal  
> > > to the support for dependent types and linear types in ATS. For instance,  
> > > one can write C-style templates in ATS that would have to be based on  
> > > macros if done in C directly.
> > > 
> > > In the current ATS2-contrib, there is a minimal API for using SDL2  
> > > in ATS. If someone wants to implement a game in ATS, this can be pretty  
> > > useful.
> > > 
> > > Last, I want to stress that programming in ATS2 is a lot more convenient  
> > > than in ATS. Hopefully, programming in ATS2 will become even more  
> > > convenient  
> > > in the future. If you were “scared” away by ATS, please give ATS2 a try  
> > > 🙂
> > > 
> > > Cheers,
> > > 
> > > –Hongwei
> > > 
> > > Date: February 16, 2014
> > > 
> > > This is the sixth 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](http://www.ats-lang.org)
> > > 
> > > ATS-Postiats is hosted at github:
> > > 
> > > [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> > > 
> > > Major releases of ATS2 are available at:
> > > 
> > > [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> > > 
> > > Major releases of external packages for ATS2 are available at:
> > > 
> > > [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> > > 
> > > Here is a list of major additions and changes since the last release:
> > > 
> > > 1. Symbol for overloading no longer require to be declared first.
> > > 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> > > 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> > > 4. Both static/extern function names are now stamped at the end.
> > > 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> > > 6. Polymorphic data constructors no longer require explicit type  
> > > arguments  
> > > (for compilation purpose).
> > > 7. Handling of template parameters is greatly improved.
> > > 
> > > * * *
> > > 
> > > * * *
> > > 
> > > Android apps run on BlackBerry 10  
> > > Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> > > Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> > > Get your Android app in front of a whole new audience. Start now.  
> > > [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&)  
> > > iu=/4140/ostg.clktrk
> > > 
> > > * * *
> > > 
> > > ats-lang-users mailing list  
> > > [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)  
> > > [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)
> > > 
> > > –  
> > > 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...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>  
> > > .  
> > > To view this discussion on the web visit  
> > > [https://groups.google.com/d/msgid/ats-lang-users/7079ad18-62ac-4356-8a27-94e934dbd79b%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/7079ad18-62ac-4356-8a27-94e934dbd79b%40googlegroups.com)  
> > > .

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [February 17, 2014, 5:07pm UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/6 "2014-02-17T17:07:42Z")

</div>

I hope I get a chance to do something with the SDL interface someday.  
Perhaps I can combine my interest in games (SDL), computer programming  
(ATS, Conway’s game of life), and biology (\*in silico \*organisms), to make  
a pretty petri dish application simulating “real” cells.

More seriously or at least more to the point, I think it is a great library  
to have an interface to given the general interest in game programming,  
which can also make good use of the performance in ATS. Too many  
multimillion dollar games seem to have bugs in them that persist over the  
years.On Sunday, February 16, 2014 11:58:57 PM UTC-5, gmhwxi wrote:

> ---------- Forwarded message ----------  
> From: Hongwei Xi \<hw…@bu.edu \<javascript:\>\>  
> Date: Sun, Feb 16, 2014 at 11:55 PM  
> Subject: [ats-lang-users] ATS2-0.0.6 release  
> To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>
> 
> Hi, there,
> 
> I am glad to announce the release of ATS2-0.0.6.
> 
> See the following list for the added features and also bug-fixes.  
> Also, ats2-contrib has been upgraded to version-0.0.5.
> 
> Template compilation has been improved very significantly in this  
> release.
> 
> The template system in ATS2 is designed to be a “high-mechanism”  
> to greatly increase programming productivity. It is a feature orthogonal  
> to the support for dependent types and linear types in ATS. For instance,  
> one can write C-style templates in ATS that would have to be based on  
> macros if done in C directly.
> 
> In the current ATS2-contrib, there is a minimal API for using SDL2  
> in ATS. If someone wants to implement a game in ATS, this can be pretty  
> useful.
> 
> Last, I want to stress that programming in ATS2 is a lot more convenient  
> than in ATS. Hopefully, programming in ATS2 will become even more  
> convenient  
> in the future. If you were “scared” away by ATS, please give ATS2 a try 🙂
> 
> Cheers,
> 
> –Hongwei
> 
> Date: February 16, 2014
> 
> This is the sixth 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](http://www.ats-lang.org)
> 
> ATS-Postiats is hosted at github:
> 
> [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> 
> Major releases of ATS2 are available at:
> 
> [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> 
> Major releases of external packages for ATS2 are available at:
> 
> [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> 
> Here is a list of major additions and changes since the last release:
> 
> 1. Symbol for overloading no longer require to be declared first.
> 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> 4. Both static/extern function names are now stamped at the end.
> 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> 6. Polymorphic data constructors no longer require explicit type arguments  
> (for compilation purpose).
> 7. Handling of template parameters is greatly improved.
> 
> * * *
> 
> Android apps run on BlackBerry 10  
> Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> Get your Android app in front of a whole new audience. Start now.
> 
> [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk)
> 
> * * *
> 
> ats-lang-users mailing list  
> [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>  
> [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)

---

<div class="post-metadata">

**Author:** ![Chotu\_S](https://avatars.discourse-cdn.com/v4/letter/c/7cd45c/32.png) [@Chotu\_S](https://discourse.ats-lang.org/u/Chotu_S)\
**Post date:** [February 18, 2014, 6:50am UTC](https://discourse.ats-lang.org/t/ats2-0-0-6-release/281/7 "2014-02-18T06:50:22Z")

</div>

It now give me correct version , after I changed my “PATSHOME” env variable.

ThanksOn Tue, Feb 18, 2014 at 11:38 AM, gmhwxi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:

> I just downloaded and compiled it.
> 
> You should see:
> 
> Hello from ATS2(ATS/Postiats)!  
> ATS/Postiats version 0.0.6 with Copyright (c) 2011-2014 Hongwei Xi
> 
> Try to find ${PATSHOME}/bin/patsopt and do
> 
> ${PATSHOME}/bin/patsopt --version
> 
> On Tuesday, February 18, 2014 1:01:37 AM UTC-5, chotu s wrote:
> 
> > So how do I determine which version I am using ? I think I have installed  
> > the latest package but here is the output from patscc :
> > 
> > ./patscc --version  
> > exec(patsopt --version)  
> > Hello from ATS2(ATS/Postiats)!  
> > ATS/Postiats version 0.0.4 with Copyright (c) 2011-2013 Hongwei Xi  
> > …
> > 
> > On Mon, Feb 17, 2014 at 10:28 AM, Hongwei Xi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:
> > 
> > > ---------- Forwarded message ----------  
> > > From: Hongwei Xi [hw...@bu.edu](mailto:hw...@bu.edu)  
> > > Date: Sun, Feb 16, 2014 at 11:55 PM  
> > > Subject: [ats-lang-users] ATS2-0.0.6 release  
> > > To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)
> > > 
> > > Hi, there,
> > > 
> > > I am glad to announce the release of ATS2-0.0.6.
> > > 
> > > See the following list for the added features and also bug-fixes.  
> > > Also, ats2-contrib has been upgraded to version-0.0.5.
> > > 
> > > Template compilation has been improved very significantly in this  
> > > release.
> > > 
> > > The template system in ATS2 is designed to be a “high-mechanism”  
> > > to greatly increase programming productivity. It is a feature orthogonal  
> > > to the support for dependent types and linear types in ATS. For instance,  
> > > one can write C-style templates in ATS that would have to be based on  
> > > macros if done in C directly.
> > > 
> > > In the current ATS2-contrib, there is a minimal API for using SDL2  
> > > in ATS. If someone wants to implement a game in ATS, this can be pretty  
> > > useful.
> > > 
> > > Last, I want to stress that programming in ATS2 is a lot more convenient  
> > > than in ATS. Hopefully, programming in ATS2 will become even more  
> > > convenient  
> > > in the future. If you were “scared” away by ATS, please give ATS2 a try  
> > > 🙂
> > > 
> > > Cheers,
> > > 
> > > –Hongwei
> > > 
> > > Date: February 16, 2014
> > > 
> > > This is the sixth 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](http://www.ats-lang.org)
> > > 
> > > ATS-Postiats is hosted at github:
> > > 
> > > [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> > > 
> > > Major releases of ATS2 are available at:
> > > 
> > > [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> > > 
> > > Major releases of external packages for ATS2 are available at:
> > > 
> > > [ats2-lang-contrib download | SourceForge.net](https://sourceforge.net/projects/ats2-lang-contrib/)
> > > 
> > > Here is a list of major additions and changes since the last release:
> > > 
> > > 1. Symbol for overloading no longer require to be declared first.
> > > 2. Adding libats-hwxi/cstream for supporting a simple style of lexing
> > > 3. Adding a direct API for Simple DirectMedia Layer 2.0 (SDL2).
> > > 4. Both static/extern function names are now stamped at the end.
> > > 5. Fixing a bug in pattern matching: left-values should be dereferenced!
> > > 6. Polymorphic data constructors no longer require explicit type  
> > > arguments  
> > > (for compilation purpose).
> > > 7. Handling of template parameters is greatly improved.
> > > 
> > > * * *
> > > 
> > > * * *
> > > 
> > > Android apps run on BlackBerry 10  
> > > Introducing the new BlackBerry 10.2.1 Runtime for Android apps.  
> > > Now with support for Jelly Bean, Bluetooth, Mapview and more.  
> > > Get your Android app in front of a whole new audience. Start now.  
> > > [http://pubads.g.doubleclick.net/gampad/clk?id=124407151&](http://pubads.g.doubleclick.net/gampad/clk?id=124407151&)  
> > > iu=/4140/ostg.clktrk
> > > 
> > > * * *
> > > 
> > > ats-lang-users mailing list  
> > > [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)  
> > > [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)
> > > 
> > > –  
> > > 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...@googlegroups.com](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).
> > > 
> > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > msgid/ats-lang-users/CAPPSPLqZ6Ywf3%3Da1uq%  
> > > 3DwAXQQ5UNdTDkoXH8doRzv0qJxxdGBAQ%[40mail.gmail.com](http://40mail.gmail.com).
> > 
> > –  
> > 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](mailto:ats-lang-user...@googlegroups.com).  
> > To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> > To view this discussion on the web visit  
> > [https://groups.google.com/d/msgid/ats-lang-users/1e455a30-5c01-421c-9e29-fe12f6ee261e%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/1e455a30-5c01-421c-9e29-fe12f6ee261e%40googlegroups.com)  
> > .