Package: ats2-lang (0.4.0-1)
Links for ats2-lang
Debian Resources:
Download Source Package ats2-lang:
Maintainer:
External Resources:
- Homepage [www.ats-lang.org]
Similar packages:
ATS version 2 - kompiler for programmeringssprog
ATS2 a.k.a. ATS/Postiats er et programmeringssprog med et meget udtryksfuldt indtastningssystem med rødder i rammen Applied Type System. Specielt, både afhængighedstyper og lineære typer er tilgængelige i ATS. Den nuværende implementering af ATS (ATS/Postiats) er selv skrevet i ATS (ATS/Anairiats). Sproget kan være effektivt som C/C++ og understøtter en række programmeringsparadigmer.
Derudover indeholder ATS en komponent ATS/LF, som understøtter en form for (interaktiv) bevisførelse, hvor beviser konstrueres som totale funktioner. Med denne komponent advokerer ATS en programmeringsstil, som kombinerer programmering med bevisførelse. Derudover kan denne komponent bruges som en logisk ramme til at kode forskellige deduktive systemer og deres (meta-)egenskaber.
Denne pakke indeholder kompileren patsopt og brugerfladen patscc.
Other Packages Related to ats2-lang
|
|
|
|
-
- dep: libc6 (>= 2.11) [not amd64, arm64, ppc64el]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
-
- dep: libgc-dev
- Konservativ affaldsindsamler for C -udvikling
Download ats2-lang
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,087.5 kB | 8,745.0 kB | [list of files] |
| arm64 | 1,045.1 kB | 8,795.0 kB | [list of files] |
| armel | 984.6 kB | 8,429.0 kB | [list of files] |
| armhf | 1,006.7 kB | 8,026.0 kB | [list of files] |
| i386 | 1,147.9 kB | 9,099.0 kB | [list of files] |
| mips64el | 1,091.7 kB | 9,721.0 kB | [list of files] |
| mipsel | 1,087.6 kB | 9,585.0 kB | [list of files] |
| ppc64el | 1,126.0 kB | 9,505.0 kB | [list of files] |
| s390x | 1,048.7 kB | 8,981.0 kB | [list of files] |