Paquet : ats-lang-anairiats (0.2.11-1.1)
Liens pour ats-lang-anairiats
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ats-lang-anairiats :
- [ats-lang-anairiats_0.2.11-1.1.dsc]
- [ats-lang-anairiats_0.2.11.orig.tar.gz]
- [ats-lang-anairiats_0.2.11-1.1.debian.tar.xz]
Responsable :
Ressources externes :
- Page d'accueil [www.ats-lang.org]
Paquets similaires :
compilateur du langage ATSv1, obsolète, appelé Anairiats
ATS est un langage de programmation avec un système de typage hautement expressif enraciné dans le cadre Applied Type System. En particulier, les deux types dépendant et linéaire sont disponibles dans ATS. L'implémentation courante d'ATS (ATS/Anairiats) est elle-même écrite en ATS. Il peut être aussi efficace que le langage C/C++ et gère une variété de paradigmes de programmation.
De plus, ATS contient une composante ATS/LF qui gère une forme (interactive) de vérification de théorème, où les preuves sont construites comme des fonctions totales. Avec cette composante, ATS prône un style de programmation combinant la programmation avec la preuve de théorème. Par ailleurs, cette composante peut être utilisée comme un cadre logique pour encoder divers systèmes de déduction et leur (méta-)propriétés.
Ce paquet contient le compilateur atsopt, l'interface atscc et l'analyseur lexical atslex.
Ceci est la version finale de ATS1. Veuillez migrer le code vers ATS2/Postiats, l'interface de compilation patscc (patsopt), du paquet ats2-lang. Ce paquet est fait pour les besoins des codes obsolètes et les amorces.
Autres paquets associés à ats-lang-anairiats
|
|
|
|
-
- dep: libc6 (>= 2.14)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgmp10
- Bibliothèque arithmétique à multi-précision
-
- rec: libcairo2-dev
- Fichiers de développement pour la bibliothèque graphique Cairo 2D
-
- rec: libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- rec: libgtk2.0-dev
- development files for the GTK library
-
- rec: libpcre3-dev
- ancienne bibliothèque d'expressions rationnelles compatibles Perl⋅5 –⋅fichiers de développement
-
- rec: libsdl1.2-dev
- Fichiers de développement Simple DirectMedia Layer
-
- sug: ats-lang-anairiats-doc
- documentation pour Anairiats, compilateur ATS
-
- sug: ats-lang-anairiats-examples
- exemples pour Anairiats, compilateur ATS
-
- sug: ats2-lang
- compilateur du langage de programmation ATS en version 2
Télécharger ats-lang-anairiats
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 999,6 ko | 7 285,0 ko | [liste des fichiers] |