Paquet : polyml (5.7.1-2)

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.2.5)

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-2)

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 950,6 ko	17 995,0 ko	[liste des fichiers]