.ML - Rozszerzenie pliku
.ml to plik kodu źródłowego ML.
| Funkcje | Opis |
|---|---|
| Rozszerzenie pliku | .ml |
| Formatuj | Text |
| Utworzony przez | Robin Milner |
| Kategoria | Developer |
.ml to plik kodu źródłowego ML.
| Funkcje | Opis |
|---|---|
| Rozszerzenie pliku | .ml |
| Formatuj | Text |
| Utworzony przez | Robin Milner |
| Kategoria | Developer |
Co znajduje się na tej stronie
Rozszerzenie pliku ml jest używane do plików zapisanych w języku programowania ml.
Język programowania funkcjonalnego ml został pierwotnie opracowany przez RobinMilnera (Turingaward 1991) i był pierwszym językiem, który zawierał polimorfiktypeinference, wraz z mechanizmem obsługi wyjątków bezpiecznego typu. ml oznacza metalanguage, a nie do znaczenia.
Rozszerzenie pliku ml jest powiązane z językiem programowania ml. Plik ml przechowuje kod źródłowy napisany w ML.