ml編程

⑴ 什麼叫ML

1. milliliter 毫升，計量單位。
2. ml 是中國大陸人創造發明英文 "make love" 的縮寫，中文就是做愛的意思。有些無知的人，認為這樣寫比較"含蓄"。他們卻不知道在中國古代，早已有一些含蓄的詞彙來表達同樣的意思。例如： 房事，雲雨一番，同房，等。顯示出，現代中國人對自己國家的古代文化的缺乏。常見於中國大陸網站，香港、台灣的網站也不多見。因為既不是拼音，也不是正規的英文縮寫。導致很多懂英文，懂中文的人看了，一頭霧水。還要問別人，才知道是什麼意思。顯然違反了語言是用來溝通的基本用途。而且有些人和別人完全是金錢交易，絕對不是做愛，居然也稱自己 ml 如何，如何。簡直就是糟蹋做愛的崇高含義！
在講英文的國家，ml 並不代表做愛的意思。一般英文日常用語中， ml 僅代表 milliliter，毫升的意思。在英文字典中,並沒有做愛這個解釋。一般人用 "have sex"，"sexual intercourse"，或者那個F開頭的單詞，等等。即使在網路上， 最簡單的說法就是 sex。可以說，ml 這個縮寫完全就是中式英語（英文：Chinglish)，完全就是中國人創造發明的。在中國，請不要用英文縮寫，容易引起不必要的誤解。何況很多人連中文都沒有學好。
堂堂中華，號稱有幾千年歷史。幾千年的中華文化，沒有這些不倫不類的詞語，是一樣的燦爛輝煌！曾幾何時，在當代中國，中國人對自己國家的文字缺乏興趣。因此喜歡引用英文單詞。（例如：pk，vs，wc，等。）其實是對自己文字的一種糟蹋。是否，以後的中文字典里，還要加入外文單詞的解釋呢？更何況，ml 在英文國家並沒有這個意思。而且，中文已經有"房事"，"做愛"等詞。如此下去，中文是否很快就會象日文一樣，變得亂七八糟了呢？正如同韓國人的端午節在2005年，被聯合國教科文組織正式確定為" 人類口頭和非物質遺產代表作"。如果中國人繼續糟蹋自己的文字，有朝一日，中文恐怕也會被韓國人申請為他們的文化遺產了。 因此，強烈建議大家為了珍惜自己國家的文化，捍衛中華文化，保衛中國字的完美無缺! 愛國從自己做起，從現在做起，寫中文的時候只用漢字。
3.machine language 機器語言, makeup language 例如： html
4.machine learning, 人工智慧裡面的機器學習
4.mali 非洲的馬利共和國的國家代號縮寫
5.millilambert 毫郎伯(亮度單位)
6.Merrill Lynch 投資銀行
7.游戲《實況足球》中的大師級聯賽：Master League 的簡稱也叫ML
編輯本段ML語言
ML 是一個通用的函數式編程語言，它是由愛丁堡大學的Robin Milner及他人在二十世紀七十年代晚期開發的。它的語法是從ISWIM得到的靈感。作為元語言的ML是為了幫助在LCF定理證明機中尋找證明策略而構想出來的。（之前的元語言是pplambda，它聯合了一階邏輯演算、多態及Λ演算）。它使用了Hindley-Milner類型推論演算法來推測大多數值的類型，而不需要四處使用註解

⑵ ML語言的ML編程環境的配置

在Windows環境下使用Emacs作為ML的集成開發環境。下面關於Emacs和SML在Windows下的配置說明其實同樣適合於各種Unix類操作系統）。這里有一副抓圖：在左邊的frame中編輯好SML源程序後，按下C-c C-b，程序就交付給運行在右邊frame中的SML編譯器了。你也可以直接在右邊的frame中互動式的輸入SML程序。
為了配置這個環境我安裝了GNU Emacs for Windows（你也可以用XEmacs for Windows）、SML編譯器SML/NJ（你也可以用其他編譯器，比如Moscow ML，Poly/ML）、Emacs的SML mode。安裝和配置步驟如下：
下載和安裝GNU Emacs for Windows
下載和安裝SML New Jersey編譯器
下載和安裝Emacs的SML major mode。具體的方法如下：
在你的Emacs安裝目錄（例如F:Program Filesemacs-21.3）下建一個子目錄叫site-lisp。如果已經有了就不用建了。
在其中建一個子目錄叫sml-mode
將你下載的SML major mode壓縮包解開，將其中所有.el文件拷貝到site-lisp/sml-mode子目錄下
編輯site-lisp中的site-start.el，加入兩行：
(add-to-list 'load-path F:/Program Files/emacs-21.3/site-lisp/sml-mode)
(load sml-mode-startup)
在PATH環境變數里包含SML編譯器所在的目錄。我的是f:smlin。
啟動Emacs後，敲 M-x run-sml就可以在Emacs中啟動一個SML交互環境。
如果用 M-x sml-mode就將當前buffer的major mode設置為sml-mode，你會發現其中的SML代碼被語法高亮顯示了。如果沒有語法高亮，你可以在Emacs的配置文件（對於Windows版本的GNU Emacs和XEmacs而言是C:.emacs，對Unix版本的是~/.emacs）中加入一行：
Syntax highlight
(global-font-lock-mode t)

⑶ ML語言的ML語言簡介

ML一般被歸為非純函數式編程語言，因為它允許副作用和指令式編程。這一點和純函數式編程語言??例如Haskell??很不一樣。
ML特性有惰性求值的求值策略，一階類型函數， 帶有垃圾收集的自動內存管理， 參數多態，靜態數據類型，類型推斷，代數數據類型，模式匹配和異常處理。
不像Haskell，ML使用表達式求值，也就是說所有的子表達式總是被求值。導致的一個結果是你不能使用無窮表。然而，惰性求值產生的無窮表可以通過使用匿名函數來模擬。
今天在ML家族中有好幾種語言：兩種主要的方言是Standard ML和Caml，其他的包括F# － 針對Microsoft .NET平台的開放研究項目。 ML中的思想影響了眾多的語言，例如Haskell，Cyclone和Nemerle。 ML的實力大多被用於語言設計和操作（編譯器、分析器、定理證明機）， 但是它作為通用語言也被用於生化，金融系統，和宗譜資料庫，一個P2P的客戶/伺服器程序等等。
ML可以算一種具備命令式語言特點的函數型語言，或者說面向函數的命令型語言。和Lisp一樣，ML具有非常靈活的函數功能。例如一個表達式的值可能就是一個函數，這個函數可以被作為參數傳遞給另一個函數，或者函數的返回值就是一個函數。同時和Algol類的語言比較接近的是，ML的語法象命令型的，而且用起來象用Algol家族的很多比較新的後代們一樣方便。而且ML有並行擴展，可以用來寫並行系統；甚至還有面向對象擴展。
John C. Mitchell在他的Concepts in Programming Langugaes一書中使用ML來展示Algol類語言、Lisp類語言、以及並行語言和面向對象語言中的概念。
ML是Robin Milner主管LCF項目時設計的。LCF項目是受Dana Scott給出的一組邏輯原則啟發而設立的，致力於開發一種「可計算函數邏輯」（Logic of Computable Functions）。Robin Milner的目標是構造一個方便實用的系統，來自動的或者半自動的證明函數程序中一些有趣的性質。他的LCF項目於1970年在Standford開始，並於1980年代在Edinburge繼續進行。期間取得了很多重要進展，並且激發了相關領域的一系列研究工作。
ML是作為LCF項目的元語言（Meta Language）設計的，這也是其名字的來歷。它的最初用途是寫一些可以生成數學證明的程序。今天，大多數著名的推理系統都是用ML寫的。
目前ML有兩個發展分支：Standard ML和Caml。
大多數SML編譯器的行為方式都是互動式的：用戶一條一條輸入語句，編譯器一一給出反饋。看起來象Logo或者Basic解釋器一樣。但是其實用戶輸入的程序是被先編譯再執行的（其中細節大家可以從SML/NJ編譯器的相關文檔和論文中找到）。