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

[ Source: ats-lang-anairiats  ]

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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	245.8 kB	660.0 kB	[list of files]