Package: ats-lang-anairiats-examples (0.2.11-1)
Links for ats-lang-anairiats-examples
Debian Resources:
Download Source Package ats-lang-anairiats:
- [ats-lang-anairiats_0.2.11-1.dsc]
- [ats-lang-anairiats_0.2.11.orig.tar.gz]
- [ats-lang-anairiats_0.2.11-1.debian.tar.gz]
Maintainer:
External Resources:
- Homepage [www.ats-lang.org]
Similar packages:
Eksempler for ATS-kompileren Anairiats
ATS er et programmeringssprog med et stærkt udtryksfuldt indtastningssystem med rødder i rammen Applied Type System. Specifikt er både afhængighedstyper og lineære typer tilgængelige i ATS. Den nuværende implementering af ATS (ATS/Anairiats) er selv skrevet i ATS. Sproget kan være lige så effektivt som C/C++ og understøtter en bred vifte af 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 nogle eksempler på sproget.
Other Packages Related to ats-lang-anairiats-examples
|
|
|
|
-
- rec: ats-lang-anairiats
- Forældet ATS v1-sprogkompiler navngivet Anairiats
Download ats-lang-anairiats-examples
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 245.8 kB | 660.0 kB | [list of files] |