all options
buster  ] [  bullseye  ]
[ Source: ats-lang-anairiats  ]

Package: ats-lang-anairiats (0.2.11-1.1)

Links for ats-lang-anairiats

Screenshot

Debian Resources:

Download Source Package ats-lang-anairiats:

Maintainer:

External Resources:

Similar packages:

Forældet ATS v1-sprogkompiler navngivet 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 kompileren atsopt, brugerfladen atscc og lexer'en atslex.

Dette er den sidste udgivelse af ATS1. Migrer venligst din kode til ATS2/Postiats, kompilerbrugerfladen patscc (patsopt), i pakken ats2-lang. Denne pakke er for forældet kodet og bootstrapping.

Other Packages Related to ats-lang-anairiats

  • depends
  • recommends
  • suggests
  • enhances

Download ats-lang-anairiats

Download for all available architectures
Architecture Package Size Installed Size Files
mips64el 996.0 kB8,285.0 kB [list of files]