Package: ats2-lang (0.4.2-1.1)
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.33)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgc-dev
- garbage collector conservativo per C (sviluppo)
Download ats2-lang
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,123.2 kB | 8,890.0 kB | [list of files] |
| arm64 | 1,071.5 kB | 8,937.0 kB | [list of files] |
| armel | 1,011.8 kB | 8,536.0 kB | [list of files] |
| armhf | 1,033.2 kB | 8,099.0 kB | [list of files] |
| i386 | 1,176.3 kB | 9,233.0 kB | [list of files] |
| mips64el | 1,108.2 kB | 9,830.0 kB | [list of files] |
| mipsel | 1,103.0 kB | 9,716.0 kB | [list of files] |
| ppc64el | 1,166.3 kB | 9,760.0 kB | [list of files] |
| s390x | 1,072.7 kB | 9,082.0 kB | [list of files] |