all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: ats2-lang  ]

Package: ats2-lang (0.2.9-1 and others)

Links for ats2-lang

Screenshot

Debian Resources:

Download Source Package ats2-lang:

Maintainer:

External Resources:

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 samt emacs-tilstand for sproget.

Other Packages Related to ats2-lang

  • depends
  • recommends
  • suggests
  • enhances

Download ats2-lang

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.2.9-1+b1 750.6 kB4,476.0 kB [list of files]
arm64 0.2.9-1+b1 653.3 kB4,283.0 kB [list of files]
armel 0.2.9-1+b1 686.8 kB4,336.0 kB [list of files]
armhf 0.2.9-1+b1 700.7 kB3,926.0 kB [list of files]
i386 0.2.9-1+b1 813.4 kB4,835.0 kB [list of files]
mips 0.2.9-1+b1 741.4 kB5,377.0 kB [list of files]
mips64el 0.2.9-1+b1 756.1 kB5,508.0 kB [list of files]
mipsel 0.2.9-1+b1 753.0 kB5,377.0 kB [list of files]
ppc64el 0.2.9-1+b1 661.9 kB4,729.0 kB [list of files]
s390x 0.2.9-1+b1 727.6 kB4,814.0 kB [list of files]