【張育騰(106已上榜線務員】評論

低級語言（英語：Low-level programming language），在計算機科學之中，是電腦程式語言的一類。該類程式語言之所以被稱為低階，是因為該類語言在運作時無法進行進一步的抽象化，而與中央處理器的機器語言或指令直接對應，因此一般亦被指是原始的程式語言。即使是與高階語言相對，但這並非指低階語言較高階語言為差，相反，低階語言由於無需大量的編譯動作即可被中央處理器所執行，因此以該類程式語言編寫的原始碼編譯和運作效率一般較高階語言的原始碼為高。

【Schein_地特三等上榜】評論

ML是一個通用的函數式編程語言。作為元語言的ML是為了幫助在LCF定理證明機中尋找證明策略而構想出來的。（之前的元語言是pplambda，它聯合了一階邏輯演算和有類型的多態的λ演算）。它使用了Hindley-Milner類型推論算法來推測大多數值的類型，而不需要四處使用註解。nML一般被歸為非純函數式程式語言，因為它允許副作用和指令式編程。這一點和純函數式程式語言——例如Haskell——很不一樣。ML的實力大多被用於語言設計和操作（編譯器、分析器、定理證明機），但是它作為通用語言也被用於生化，金融系統，和宗譜資料庫，一個P2P的客戶／伺服器程序等等。by wiki