Какво е ML файл?
ML файлът е текстов файл, създаден с функционалния език за програмиране с общо предназначение ML (често известен като мета език). Той съдържа ML изходен код, който се използва по-често при изследване и проектиране на езици за програмиране, използвайки напълно дефинирана семантика. Има множество варианти на ML с Caml като широко използван. Други включват Objective Caml (OCaml), JoCaml, Extended ML и MacroML. ML езикът обикновено се използва за писане на компилатор, автоматизирано доказване на теореми и формални проверки.
