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

[ Source: ats-lang-anairiats  ]

compilatore del linguaggio obsoleto ATS v1, chiamato Anairiats

ATS è un linguaggio di programmazione con un sistema di tipi altamente espressivo radicato nell'infrastruttura dell'Applied Type System. In particolare, in ATS sono disponibili sia i tipi dipendenti sia i tipi lineari. L'attuale implementazione di ATS (ATS/Anairiats) è scritta con lo stesso ATS. Può essere efficiente quanto il C/C++ e gestisce svariati paradigmi di programmazione.

Inoltre ATS contiene un componente ATS/LF che gestisce una forma di dimostrazione (interattiva) di teoremi, dove le dimostrazioni sono costruite come funzioni totali. Con questo componente, ATS sostiene uno stile di programmazione che unisce programmazione e dimostrazione di teoremi. Oltre a ciò, questo componente può essere usato come infrastruttura logica per codificare vari sistemi di deduzione e le loro (meta-)proprietà.

Questo pacchetto contiene il compilatore atsopt, il frontend atscc e l'analizzatore lessicale atslex.

Questo è il rilascio finale di ATS1. Migrare il proprio codice a ATS2/Postiats, il frontend compilatore patscc (patsopt), nel pacchetto ats2-lang. Questo pacchetto è per il codice obsoleto e scopi di bootstrap.

Other Packages Related to ats-lang-anairiats

• dep: libc6 (>= 2.11)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgmp10

  libreria aritmetica a precisione multipla

• rec: libcairo2-dev

  file di sviluppo per la libreria grafica Cairo 2D

• rec: libgmp3-dev

  libreria aritmetica a precisione multipla, strumenti di sviluppo

• rec: libgtk2.0-dev

  file di sviluppo per la libreria GTK+

• rec: libpcre3-dev

  vecchia libreria per espressioni regolari compatibili Perl 5 - file di sviluppo

• rec: libsdl1.2-dev

  file di sviluppo per SDL (Simple DirectMedia Layer)

• sug: ats-lang-anairiats-doc

  documentazione per il compilatore Anairiats per ATS

• sug: ats-lang-anairiats-examples

  esempi per il compilatore ATS Anairiats

• sug: ats2-lang

  compilatore del linguaggio di programmazione ATS versione 2

Download ats-lang-anairiats

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
i386	0.2.11-1+b1	1,025.8 kB	7,354.0 kB	[list of files]