Skip to content

Latest commit

 

History

History
29 lines (21 loc) · 2.35 KB

Home.md

File metadata and controls

29 lines (21 loc) · 2.35 KB
Raw

Welcome to the wiki for ATS2.

The most recent released version of ATS2 is ATS2-0.1.3.

The programming language ATS is a statically typed language with a type system rooted in the framework Applied Type System. 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 and A Tutorial on Programming Features in ATS.

This wiki contains the following pages.

  • [[Frequently asked questions|Frequently asked questions]].
  • [[Building and installing|Building and installing]].
  • ATS code style: [[style guide|Style guide]], detecting and avoiding [[memory leaks|Memory leaks]], [[code optimization|Code optimization]], [[design patterns|Design patterns]].
  • Language reference: [[built-in operators|Built-in operators]], [[dependent types|Dependent types]], [[linear types|Linear types]], [[error messages|Error messages]], [[features|features]].
  • Library reference: [[ATSLIB|ATSLIB]], [[contrib|contrib]], [[built-in datatypes|Built-in datatypes]], [[built-in functions|Built-in functions]], [[input and output|Input and output]], [[scientific computing|Scientific Computing]], and [[contributed libraries|Contributed Libraries]].
  • Extensions: [[writing interfaces to C libraries|Writing interfaces to C libraries]], [[ATS/LF|ATSLF]] (theorem proving).
  • ATS internals: [[built-in constraint solving|Built-in constraint solving]], [[stack and heap allocation|Stack and heap allocation]], [[internal types|Internal types]].
  • Information on specific [[keywords|keywords]] and terminology in ATS: [[char|char]], [[dataviewtype|dataviewtype]], [[overload|overload]], [[sort|sort]], [[type|type]].
  • Wiki [[TODO|TODO]]: A list of wiki pages that need the most help.
  • Other [[languages|languages]].

For the first version of ATS, there is a largely unmaintained wiki.

ATS2 is distributed under the GNU General Public License version 3 (GPLv3), or any later version.