Tệp ML là gì?
Tệp ML là một tệp văn bản được tạo bằng ngôn ngữ lập trình chức năng có mục đích chung ML (thường được gọi là Ngôn ngữ Meta). Nó chứa mã nguồn ML thường được sử dụng nhiều hơn trong nghiên cứu và thiết kế ngôn ngữ lập trình bằng cách sử dụng ngữ nghĩa được xác định hoàn toàn. Có nhiều biến thể của ML với Caml là biến thể được sử dụng rộng rãi. Những thứ khác bao gồm Caml mục tiêu (OCaml), JoCaml, ML mở rộng và MacroML. Ngôn ngữ ML thường được sử dụng để viết trình biên dịch, chứng minh định lý tự động và xác minh chính thức.
