台水評價◆電子計算機概論題庫下載題庫

ML是一個通用的函數式編程語言。作為元語言的ML是為了幫助在LCF定理證明機中尋找證明策略而構想出來的。（之前的元語言是pplambda，它聯合了一階邏輯演算和有類型的多態的λ演算）。它使用了Hindley-Milner類型推論算法來推測大多數值的類型，而不需要四處使用註解。

nML一般被歸為非純函數式程式語言，因為它允許副作用和指令式編程。這一點和純函數式程式語言——例如Haskell——很不一樣。

ML的實力大多被用於語言設計和操作（編譯器、分析器、定理證明機），但是它作為通用語言也被用於生化，金融系統，和宗譜資料庫，一個P2P的客戶／伺服器程序等等。

by wiki

高階與低階

1. 低階語言
   1. 執行效率高。
   2. 對硬體控制好。
   3. 較難閱讀、編寫及維護。
   4. 低階語言如：組合語言。
2. 高階語言
   1. 敘述性語言，與人類慣用的語法較接近。
   2. 較容易撰寫、除錯。
   3. 對硬體的控制能力較差、效率也較差。
   4. basic, shell script, python, pascal, cobol 都是高階語言。
3. c 語言應屬高階語言，但因高階語言如 python, java, perl 等物件導向程式語言，直接使用 c 編譯好的函式庫。所以某些講法稱 c 為中階語言。