Home

Welcome to the wiki for ATS, the Applied Type System.

The most recent version of ATS is version 0.2.9.

The programming language ATS unifies specification and implementation by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

ATS also has another website (built using ATS itself). For a thorough introduction to ATS, see the book Introduction to Programming in ATS.

This wiki contains the following pages.

• [Frequently asked questions].
• [Building and installing].
• ATS code style: [Style guide], Detecting and avoiding [Memory leaks], [Code optimization].
• Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
• Extensions: [Writing interfaces to C libraries].
• ATS internals: [Built-in constraint solving], [Stack and heap allocation].
• Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

ATS is distributed under the GNU General Public License version 2.1, or any later version.