Package: ats2-lang (0.4.2-3 and others)
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.34) [not alpha, ia64, loong64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.40) [loong64, sh4]
-
- dep: libc6.1 (>= 2.29) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libgc-dev
- garbage collector conservativo per C (sviluppo)
Download ats2-lang
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.4.2-3 | 1,092.0 kB | 9,610.0 kB | [list of files] |
| amd64 | 0.4.2-3 | 1,127.5 kB | 8,917.0 kB | [list of files] |
| arm64 | 0.4.2-3 | 1,077.4 kB | 9,076.0 kB | [list of files] |
| armel | 0.4.2-3 | 1,015.0 kB | 8,595.0 kB | [list of files] |
| armhf | 0.4.2-3 | 1,033.0 kB | 8,151.0 kB | [list of files] |
| hppa (unofficial port) | 0.4.2-3 | 1,013.7 kB | 8,699.0 kB | [list of files] |
| i386 | 0.4.2-3 | 1,177.5 kB | 9,237.0 kB | [list of files] |
| ia64 (unofficial port) | 0.4.0-1 | 1,158.7 kB | 10,969.0 kB | [list of files] |
| loong64 (unofficial port) | 0.4.2-3 | 1,142.8 kB | 9,270.0 kB | [list of files] |
| m68k (unofficial port) | 0.4.2-3 | 1,067.3 kB | 8,795.0 kB | [list of files] |
| mips64el | 0.4.2-3 | 1,103.9 kB | 9,904.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.4.2-3 | 1,153.7 kB | 10,145.0 kB | [list of files] |
| ppc64el | 0.4.2-3 | 1,162.7 kB | 9,696.0 kB | [list of files] |
| riscv64 | 0.4.2-3 | 1,189.4 kB | 8,899.0 kB | [list of files] |
| s390x | 0.4.2-3 | 1,093.1 kB | 9,099.0 kB | [list of files] |
| sh4 (unofficial port) | 0.4.2-3 | 1,137.2 kB | 8,638.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.4.2-3 | 963.7 kB | 11,247.0 kB | [list of files] |
| x32 (unofficial port) | 0.4.2-3 | 1,135.7 kB | 8,867.0 kB | [list of files] |