Paquet : ats2-lang (0.4.2-3 et autres)

Liens pour ats2-lang

Ressources Debian :

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

Responsable :

Matthew Danish (Page QA)

Ressources externes :

Page d'accueil [www.ats-lang.org]

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 leurs (méta-)propriétés.

Ce paquet fournit le compilateur patsopt et le frontal patscc.

Autres paquets associés à ats2-lang

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.34) [non alpha, ia64, sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.40) [sh4]
dep: libc6.1 (>= 2.29) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

dep: libc6.1 (>= 2.34) [alpha]
dep: libgc-dev

ramasse-miettes conservateur pour⋅C et⋅C –⋅développement

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
alpha (portage non officiel)	0.4.2-3	1 092,0 ko	9 610,0 ko	[liste des fichiers]
amd64	0.4.2-3	1 127,5 ko	8 917,0 ko	[liste des fichiers]
arm64	0.4.2-3	1 077,4 ko	9 076,0 ko	[liste des fichiers]
armel	0.4.2-3	1 015,0 ko	8 595,0 ko	[liste des fichiers]
armhf	0.4.2-3	1 033,0 ko	8 151,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.4.2-3	1 013,7 ko	8 699,0 ko	[liste des fichiers]
i386	0.4.2-3	1 177,5 ko	9 237,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.4.0-1	1 158,7 ko	10 969,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.4.2-3	1 067,3 ko	8 795,0 ko	[liste des fichiers]
mips64el	0.4.2-3	1 103,9 ko	9 904,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.4.2-3	1 153,7 ko	10 145,0 ko	[liste des fichiers]
ppc64el	0.4.2-3	1 162,7 ko	9 696,0 ko	[liste des fichiers]
riscv64	0.4.2-3	1 189,4 ko	8 899,0 ko	[liste des fichiers]
s390x	0.4.2-3	1 093,1 ko	9 099,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.4.2-3	1 137,2 ko	8 638,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.4.2-3	963,7 ko	11 247,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.4.2-3	1 135,7 ko	8 867,0 ko	[liste des fichiers]