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

[ Paquet source : ats2-lang  ]

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

• dep: libc6 (>= 2.33) [non alpha, ia64, riscv64]

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

  dep: libc6 (>= 2.34) [riscv64]

• 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.33) [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-1.1	1 101,0 ko	9 572,0 ko	[liste des fichiers]
amd64	0.4.2-1.1	1 123,2 ko	8 890,0 ko	[liste des fichiers]
arm64	0.4.2-1.1	1 071,5 ko	8 937,0 ko	[liste des fichiers]
armel	0.4.2-1.1	1 011,8 ko	8 536,0 ko	[liste des fichiers]
armhf	0.4.2-1.1	1 033,2 ko	8 099,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.4.2-1.1	1 016,9 ko	8 708,0 ko	[liste des fichiers]
i386	0.4.2-1.1	1 176,3 ko	9 233,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-1.1	1 071,1 ko	8 803,0 ko	[liste des fichiers]
mips64el	0.4.2-1.1	1 108,2 ko	9 830,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.4.2-1.1	1 159,8 ko	10 146,0 ko	[liste des fichiers]
ppc64el	0.4.2-1.1	1 166,3 ko	9 760,0 ko	[liste des fichiers]
riscv64	0.4.2-1.1+b1	1 185,7 ko	8 895,0 ko	[liste des fichiers]
s390x	0.4.2-1.1	1 072,7 ko	9 082,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.4.2-1.1	1 140,2 ko	8 583,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.4.2-1.1	964,2 ko	8 623,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.4.2-1.1	1 128,5 ko	8 834,0 ko	[liste des fichiers]