toutes les options
buster  ] [  bullseye  ]
[ Paquet source : ats-lang-anairiats  ]

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

Liens pour ats-lang-anairiats-doc

Screenshot

Ressources Debian :

Télécharger le paquet source ats-lang-anairiats :

Responsable :

Ressources externes :

Paquets similaires :

documentation pour Anairiats, compilateur ATS

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 fournit une documentation pour le langage.

Étiquettes: Développement de logiciel: Documentation, Exemples, Fait de: HTML, Hypertext Markup Language, made-of::pdf, role::documentation

Autres paquets associés à ats-lang-anairiats-doc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger ats-lang-anairiats-doc

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 308,3 ko340,0 ko [liste des fichiers]