.ML 文件擴展名

ML文件是一種以元語言（ML）編寫的源代碼文件，包含元語言的代碼，用於定義函數、類型和模塊等。元語言是一種函數式、指令式的通用的編程語言，經常用於開發編譯器或其他源代碼解釋器的語言設計，也用於學術環境中證明理論。

Visual Studio Code中打開的ML文件

元語言全稱Meta Language，簡稱ML，是一種函數式編程語言，具有靜態類型檢查和模式匹配等特性，被廣泛用於編寫高性能和可靠的軟體。

ML也是一種程序設計語言的家族，其中包括：Caml、Objective Caml（OCaml）、 JoCaml、Extended ML和MacroML。這些語言都是.ml擴展名作為其源代碼文件。

雖然ML語言版本眾多，但OCaml是最流行的版本。所以，我們遇到的ML文件通常就是OCaml源代碼文件。

微軟的F#語言也是ML語言家族的一部分，是ML的衍生語言。F#與OCaml很大程度上兼容。

ML文件示例

以下是一個簡單的ML文件示例，定義了一個名為fib的函數，用於計算斐波那契數列的第n項。

ML文件可以使用文本編輯器或集成開發環境（IDE）進行編輯和保存。

ML文件需要通過OCaml編譯器生成目標代碼或者運行其中的代碼。