.ML - Extension de fichier
ML est le fichier de code source ML.
| Fonctionnalités | Description |
|---|---|
| Extension de fichier | .ml |
| Format | Text |
| Développeur par | Robin Milner |
| Catégorie | Developer |
ML est le fichier de code source ML.
| Fonctionnalités | Description |
|---|---|
| Extension de fichier | .ml |
| Format | Text |
| Développeur par | Robin Milner |
| Catégorie | Developer |
L'extension de fichier ML est utilisée pour les fichiers écrits dans le langage de programmation ML.
Le langage de programmation fonctionnelle ML a été initialement développé par Robinmilner (Turingaward 1991) et a été la première langue à inclure la polymorphictypeinference, ainsi qu'un mécanisme de manutention d'exception de type. ML signifie Metalanguage, pas pour le markepplanguage.
Une extension de fichier ML est liée au langage de programmation ML. Un fichier ML stocke le code source écrit en ML.