Package: ats-lang-anairiats (0.2.3-1 and others)

[ Source: ats-lang-anairiats  ]

The ATS language compiler Anairiats

ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.

In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.

This package contains the compiler atsopt, the frontend atscc, and the lexer atslex.

Other Packages Related to ats-lang-anairiats

• dep: libc0.1 (>= 2.3)

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  also a virtual package provided by libc0.1-udeb

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

• rec: libcairo2-dev

  Entwicklungsdateien für die 2D-Grafikbibliothek Cairo

• rec: libgmp3-dev

  Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge

• rec: libgtk2.0-dev

  Entwicklungsdateien für die GTK+-Bibliothek

• rec: libpcre3-dev

  Perl 5-kompatible Bibliothek für reguläre Ausdrücke - Entwicklungsdateien

• rec: libsdl1.2-dev

  Simple DirectMedia Layer (Entwicklungsdateien)

• sug: ats-lang-anairiats-doc

  Documentation for the ATS compiler Anairiats

• sug: ats-lang-anairiats-examples

  Examples for the ATS compiler Anairiats

Download ats-lang-anairiats

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
kfreebsd-i386	0.2.3-1+b3	1,080.0 kB	5,426.0 kB	[list of files]