Paquet : polyml (5.8.1-1~exp1)

Liens pour polyml

Ressources Debian :

Télécharger le paquet source polyml :

Responsables :

Ressources externes :

Page d'accueil [www.polyml.org]

Paquets similaires :

Paquet « expérimental »

Avertissement : ce paquet appartient à la distribution expérimentale. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog) et les autres documentations existantes avant de l'utiliser.

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

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: libpolyml11 (>= 5.8.1)

runtime files for Poly/ML, a compiler for Standard ML
dep: polyml-modules (= 5.8.1-1~exp1)

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
arm64	1 611,7 ko	13 578,0 ko	[liste des fichiers]