.ML - Dateierweiterung
ML ist die ML -Quellcodedatei.
| Funktionen | Beschreibung |
|---|---|
| Dateierweiterung | .ml |
| Format | Text |
| Entwickler von | Robin Milner |
| Kategorie | Developer |
ML ist die ML -Quellcodedatei.
| Funktionen | Beschreibung |
|---|---|
| Dateierweiterung | .ml |
| Format | Text |
| Entwickler von | Robin Milner |
| Kategorie | Developer |
Die ML -Dateierweiterung wird für Dateien verwendet, die in der ML -Programmiersprache geschrieben wurden.
Die funktionelle Programmiersprache ML wurde ursprünglich von Robinmilner (Turingaward 1991) entwickelt und war die erste Sprache, die polymorphictypeinferenz zusammen mit einem Typ-Safe-Ausnahmeregelung-Mechanismus enthielt. ML steht für Metalanguage, nicht für Markuplanguage.
Eine ML -Dateierweiterung bezieht sich auf die ML -Programmiersprache. Eine ML -Datei speichert den in ML geschriebenen Quellcode.