Τι είναι ένα αρχείο ML;
Ένα αρχείο ML είναι ένα αρχείο κειμένου που δημιουργήθηκε με τη γενικής χρήσης λειτουργική γλώσσα προγραμματισμού ML (συχνά γνωστή ως Meta Language). Περιέχει τον πηγαίο κώδικα ML που χρησιμοποιείται συχνότερα στην έρευνα και το σχεδιασμό γλωσσών προγραμματισμού χρησιμοποιώντας πλήρως καθορισμένη σημασιολογία. Υπάρχουν πολλές παραλλαγές του ML με το Caml ως το ευρέως χρησιμοποιούμενο. Άλλα περιλαμβάνουν το Objective Caml (OCaml), το JoCaml, το Extended ML και το MacroML. Η γλώσσα ML χρησιμοποιείται συνήθως για τη σύνταξη μεταγλωττιστή, την αυτοματοποιημένη απόδειξη θεωρημάτων και τις επίσημες επαληθεύσεις.
