Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
ATS2: Unleashing the Potentials of Types and Templates
ATS C Makefile Emacs Lisp Shell C++ Other
branch: master
Failed to load latest commit information.
bin Updating: minorly reorganizing
ccomp Updating: testing NGC-build for ATS1 and ATS2
codegen Updating: generally improving
contrib-tmp moving libats-bbarker to contrib repo
doc Updating: adding prelude/tostring to DISTRIB
docugen Updating: more on '__' -> '$' for various id names.
libats Updating: very minorly improving
libatslex Updating: very minorly improving
libatsynmark Updating: working on ats2langweb
libc Updating: minorly tidying-up
prelude Updating: very minorly improving
share Updating: improving the handling of tostring
src Updating: fixing bug-2015-04-15
travis-ci Updating: minorly reorganizing
utils Updating: very minorly tidying-up
.gitignore Updating: packaging ats2-mode into future releases
.travis.yml Updating: minorly reorganizing
AUTHORS Updating: preparing for the 1st release of ATS2
COPYING Updating: generally improving
COPYING-gpl-3.0.txt Updating: generally improving
COPYING-lgpl-2.1.txt Updating: generally improving
INSTALL Updating: very minorly improving
Makefile_devl Updating: testing NGC build for ATS1 and ATS2
NOTES Updating: releasing ATS2-0.0.8
README Updating: improving README Updating: generally improving; adding INT2PROGINATS/locking-unlocking
VERSION-contrib.txt Updating: very minorly improving
VERSION.txt Updating: very minorly improving
appveyor.yml Updating: very minorly fixing Updating: changing some double-colon rules into single-colon rules. Updating: initiating ATS2-0.1.11

ATS2 - ATS/Postiats

A Programming Language System to Unleash the Potentials of Types and Templates

Project Description

ATS/Postiats (or ATS2/Postiats) is the name for the current compiler of ATS2, the successor of ATS (or ATS1).

The actual implementation of ATS/Postiats started in the March of 2011, and it took about two and one-half years to reach the first release of ATS2 at the beginning of September, 2013. As of now, the code base for the compiler of ATS2 consists of 150,000+ lines of code (LOC), which are nearly all written in ATS1.

When compared to ATS1, the single most important new feature is the template system of ATS2. This is a feature that could potentially change the way a programmer writes his or her code. One can certainly feel that this is a very powerful feature (a bit like feeling that OOP is a very powerful feature). However, how this feature should be properly and effectively used in practice needs a lot more investigation.

Another thing about ATS2 is that it is a lot leaner than ATS. One can make good use of ATS2 without any need for compiled library (libatslib.a). Also, GC support in ATS1 is now removed; if needed, third-party GC (e.g., Bohem-GC) can be readily employed.

Build Status

  • Build Status Ubuntu
  • Build Status Cygwin

Installing ATS2

Please see for instructions.

Note that the code in this github directory is primarily meant for people who would like to help develop ATS2. For someone who just wants to program in ATS2, please install the current release of ATS2 available at

Developing ATS2

The compiler of ATS2 is nearly all implemented in ATS1, which is available at

Documenting ATS2

ATS-users are encouraged to share what they have learned on the ATS2 wiki, which currently contains over 45 articles with content. A list of article stubs is maintained at TODO.


  • The Compiler (ATS/Postiats): GPLv3
  • The Libraries (ATSLIB/{prelude,libc,libats}): GPLv3
Something went wrong with that request. Please try again.