Paquet : polyml (5.7.1-5)

Liens pour polyml

Ressources Debian :

Télécharger le paquet source polyml :

Responsables :

Ressources externes :

Page d'accueil [www.polyml.org]

Paquets similaires :

interpréteur et compilateur interactif pour Standard ML

Poly/ML est une mise en œuvre du langage de programmation Standard ML. Standard ML est un langage de programmation fonctionnelle polyvalent, modulaire, à typage sûr et strict. Poly/ML est un interpréteur et compilateur conforme à SML 97 gérant la création d’exécutables autonomes avec un interpréteur de langage REPL (Read–Eval–Print Loop – boucle lecture, évaluation et interprétation).

Ce paquet fournit l’interpréteur et le compilateur.

Étiquettes: Développement de logiciel: Compilateur, Interpréteur, Programmation ML, Rôle: Programme

Autres paquets associés à polyml

dépendances

recommandations

suggestions

enhances

dep: file

reconnaissance des types de données d'un fichier à l'aide des nombres «⋅magiques⋅»
dep: g++

compilateur C++ GNU
dep: libc6 (>= 2.34)

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

Foreign Function Interface library (development files)
dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)

runtime files for Poly/ML, a compiler for Standard ML
dep: polyml-modules (= 5.7.1-5)

modules for Poly/ML, a compiler for Standard ML

Télécharger polyml

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 948,6 ko	18 001,0 ko	[liste des fichiers]
arm64	1 705,1 ko	14 783,0 ko	[liste des fichiers]
armel	1 042,9 ko	6 546,0 ko	[liste des fichiers]
armhf	1 044,4 ko	6 542,0 ko	[liste des fichiers]
i386	1 201,1 ko	8 812,0 ko	[liste des fichiers]
mips64el	1 103,5 ko	12 097,0 ko	[liste des fichiers]
mipsel	1 043,4 ko	6 628,0 ko	[liste des fichiers]
ppc64el	1 728,4 ko	14 784,0 ko	[liste des fichiers]
s390x	1 642,8 ko	14 663,0 ko	[liste des fichiers]