Package: ats2-lang (0.3.11-2)
Links for ats2-lang
Debian Resources:
Download Source Package ats2-lang:
Maintainer:
External Resources:
- Homepage [www.ats-lang.org]
Similar packages:
compilatore del linguaggio di programmazione ATS versione 2
ATS2, noto anche come ATS/Postiats, è 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/Postiats) è scritta con lo stesso ATS (ATS/Anairiats). 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 patsopt e il frontend patscc.
Other Packages Related to ats2-lang
|
|
|
|
-
- dep: libc6 (>= 2.14)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgc-dev
- garbage collector conservativo per C (sviluppo)
-
- dep: libgmp10
- libreria aritmetica a precisione multipla
Download ats2-lang
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,083.9 kB | 8,710.0 kB | [list of files] |