all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: ats-lang-anairiats  ]

Package: ats-lang-anairiats-doc (0.2.11-1)

Links for ats-lang-anairiats-doc

Screenshot

Debian Resources:

Download Source Package ats-lang-anairiats:

Maintainer:

External Resources:

Similar packages:

Dokumentation 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 lidt dokumentation for sproget.

Tags: Software Development: Documentation, Examples, Made Of: HTML, Hypertext Markup Language, made-of::pdf, role::documentation

Other Packages Related to ats-lang-anairiats-doc

  • depends
  • recommends
  • suggests
  • enhances

Download ats-lang-anairiats-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 308.3 kB340.0 kB [list of files]