Package: ats-lang-anairiats (0.2.11-1 and others)

[ Source: ats-lang-anairiats  ]

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

• dep: libc6 (>= 2.11)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• rec: libcairo2-dev

  Udviklingsfiler for det grafiske bibliotek Cairo 2D

• rec: libgmp3-dev

  Flerpræcisionsbibliotek til udviklerværktøjer for aritmetik

• rec: libgtk2.0-dev

  udviklingsfiler for GTK+-biblioteket

• rec: libpcre3-dev

  Ældre Perl 5 kompatibelt regulært udtryksbibliotek - udviklingsfiler

• rec: libsdl1.2-dev

  Udviklingsfiler for Simple DirectMedia Layer

• sug: ats-lang-anairiats-doc

  Dokumentation for ATS-kompileren Anairiats

• sug: ats-lang-anairiats-examples

  Eksempler for ATS-kompileren Anairiats

• sug: ats2-lang

  ATS version 2 - kompiler for programmeringssprog

Download ats-lang-anairiats

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
i386	0.2.11-1+b1	1,025.8 kB	7,354.0 kB	[list of files]