toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Paquet source : ats2-lang  ]

Paquet : ats2-lang (0.2.9-1 et autres)

Liens pour ats2-lang

Screenshot

Ressources Debian :

Télécharger le paquet source ats2-lang :

Responsable :

Ressources externes :

Paquets similaires :

compilateur du langage de programmation ATS en version 2

ATS2 (« ATS/Postiats ») est un langage de programmation avec un système de types très expressif intégré dans le cadriciel Applied Type System. En particulier, les types dépendants et linéaires sont disponibles dans ATS. L'implémentation actuelle d'ATS (ATS/Postiats) est écrite en ATS (ATS/Anairiats) lui-même. Il peut être aussi efficace que le C et le C++ et prend en charge un grand nombre 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 le compilateur patsopt et le frontal patscc, ainsi que le mode emacs pour le langage.

Autres paquets associés à ats2-lang

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger ats2-lang

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.2.9-1+b1 750,6 ko4 476,0 ko [liste des fichiers]
arm64 0.2.9-1+b1 653,3 ko4 283,0 ko [liste des fichiers]
armel 0.2.9-1+b1 686,8 ko4 336,0 ko [liste des fichiers]
armhf 0.2.9-1+b1 700,7 ko3 926,0 ko [liste des fichiers]
i386 0.2.9-1+b1 813,4 ko4 835,0 ko [liste des fichiers]
mips 0.2.9-1+b1 741,4 ko5 377,0 ko [liste des fichiers]
mips64el 0.2.9-1+b1 756,1 ko5 508,0 ko [liste des fichiers]
mipsel 0.2.9-1+b1 753,0 ko5 377,0 ko [liste des fichiers]
ppc64el 0.2.9-1+b1 661,9 ko4 729,0 ko [liste des fichiers]
s390x 0.2.9-1+b1 727,6 ko4 814,0 ko [liste des fichiers]