ATS2: Unleashing the Potentials of Types and Templates
ATS C HTML Makefile Erlang JavaScript Other
Clone or download
Pull request Compare This branch is 116 commits ahead, 47 commits behind githwxi:master.
Permalink
Failed to load latest commit information.
RELEASE Updating: sync with ATS-Postiats Mar 16, 2018
appveyor Fix appveyor build Jul 6, 2017
bin Updating: improving ATS packaging Mar 11, 2018
ccomp Updating: very very minorly Mar 17, 2018
codegen Updating: pervasive: libc -> libats/libc Sep 6, 2016
contrib Updating: fixing, fixing, fixing Mar 15, 2018
doc Updating: for releasing ATS2-0.3.11 Jun 2, 2018
docugen Updating: very very minorly Jan 7, 2017
libats Updating: preparing for the release of ATS2-0.3.11 Jun 1, 2018
my-travis-ci prevent docker login in non-docker builds May 6, 2018
nix Updating: very very minorly Mar 25, 2018
npm-utils/contrib Updating: fixing, fixing, fixing Mar 12, 2018
prelude Updating: preparing for the release of ATS2-0.3.11 Jun 1, 2018
share minor release-related changes Mar 22, 2018
src Updating: very very minor fix May 30, 2018
travis-ci Updating: very very minorly fixing Mar 11, 2018
utils Updating: preparing for the release of ATS2-0.3.11 Jun 1, 2018
.gitignore Updating: very very minorly Mar 17, 2018
.travis.yml Updating: mytravis-ci -> my-travis-ci Feb 25, 2017
AUTHORS Updating: preparing for the 1st release of ATS2 Sep 2, 2013
CHANGES-ats2 Updating: preparing for the release of ATS2-0.3.11 Jun 1, 2018
CHANGES-contrib Updating: renaming some files Apr 22, 2015
COPYING Updating: generally improving Mar 4, 2014
COPYING-gpl-3.0.txt Updating: generally improving Mar 4, 2014
COPYING-lgpl-2.1.txt Updating: generally improving Mar 4, 2014
COPYING-lgpl-3.0.txt Updating: libraries: lgpl-2.1 -> lgpl-3.0 May 2, 2018
INSTALL Updating: very minorly improving Jan 28, 2015
Makefile Updating: for releasing ATS2-0.3.4 Apr 8, 2017
Makefile_devl Updating: very very minorly Nov 13, 2017
Makefile_dist Updating: preparing for ATS2-0.3.10 Feb 9, 2018
NOTES Updating: very very minorly Dec 4, 2017
README Updating: very very minorly May 13, 2018
README.md Updating: preparing for the release of ATS2-0.3.11 Jun 1, 2018
VERSION Updating: preparing for the release of ATS2-0.3.11 May 31, 2018
appveyor.yml Updating: very minorly reorganizing Apr 3, 2016
autogen.sh Updating: for releasing ATS2-0.3.4 Apr 8, 2017
config.h Updating: adding link for config.h Mar 11, 2018
default.nix Updating: add scripts for nix Apr 22, 2015
shell.nix nix expressions: update to work with no CFILES target Apr 22, 2015

README.md

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 180,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

Installing ATS2

Please see http://www.ats-lang.org/Downloads.html 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, which can be found at the following site: https://sourceforge.net/projects/ats2-lang/. There are also pre-compiled debian packages for ATS2 available on-line.

Developing ATS2

The compiler of ATS2 is nearly all implemented in ATS1, which is available at http://sourceforge.net/projects/ats-lang/.

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.

Licenses for ATS/Postiats

  • The Compiler (ATS/Postiats): GPLv3
  • The ATS source for the Libraries (ATSLIB/{prelude,libats}): LGPLv3.
  • As a special exception, any C code generated by the Compiler based on the Libraries source is not considered by default to be licensed under GPLv3/LGPLv3. If you use such C code together with other code to create an executable, then the C code by itself does not cause the executable to be covered by GPLv3/LGPLv3. However, there may be reasons unrelated to using ATS that can result in the executable being covered by GPLv3/LGPLv3.
  • The contributed portion (ATS/Postiats/contrib) is released under the MIT license.
  • There is also a release under the MIT license for the C header files of the Libraries, which one can, for instance, freely insert into C code generated from ATS source code.