用ml編寫正確的程序ml–programmingcorrectly(已修改)
2025-10-09 17:50 本頁(yè)面
【正文】 汪 旻 5110379036 函數(shù) 式程序設(shè)計(jì) ? 過(guò)程式語(yǔ)言面向命令，函數(shù)式語(yǔ)言面向表達(dá)式 ? 函數(shù)式語(yǔ)言避免繁瑣的內(nèi)存管理 ? 函數(shù)式語(yǔ)言 要求寫出可靠正確的程序 ? 函數(shù)式語(yǔ)言的幾個(gè)概念 – 函數(shù)，遞歸，模式匹配，多態(tài)類型檢測(cè)，高階函數(shù)，無(wú)窮數(shù)據(jù)結(jié)構(gòu)，惰性求值 ML與純函數(shù)式編程語(yǔ)言的 區(qū)別 ? ML是非純函數(shù)式語(yǔ)言 熱情 求值 沒有無(wú)窮數(shù)據(jù)結(jié)構(gòu) 模塊 …… 多態(tài)類型檢測(cè) 異常處理 簡(jiǎn)單的 IO指令 …… ML的誕生 ? ML(MetaLanguage) 是一個(gè)通用的函數(shù)式編程語(yǔ)言 ， 它是由愛丁堡大學(xué)的 Robin Milner在 二十世紀(jì)七十年代晚期開發(fā) 的 ，現(xiàn)在流行的方言有 Standard ML和 Caml. ? 啟發(fā)語(yǔ)言： ISWIM ? 影響語(yǔ)言： Miranda, Haskell, Cyclone, C++, F, Clojure, Felix, Opa, Erlang …… ? 設(shè)計(jì)初衷： LCF定理證明機(jī)中尋找 證明策略 ? ML大多 被用于語(yǔ)言設(shè)計(jì)和操作 （ 編譯器 、 分析器 、 定理證明機(jī) ） ， 但是它作為通用語(yǔ)言也被用于生化 ， 金融系統(tǒng) ， 和宗譜數(shù)據(jù)庫(kù) ， 一個(gè) P2P的客戶／服務(wù)器程序等等 。 Level 0 ? Hello world “Hello world!”。 (*make a string*) print it。 (*output it*) ? 階乘函數(shù) fun fac 0 = 1 | fac n = n * fac (n 1)。 Level Up! Level 1 ? 值的聲明 – 命名常量 ? val pi = 。 – 聲明 函數(shù) ? fun circle_area (r) = pi*r*r。 – 標(biāo)識(shí)符 ? 字母開頭，允許數(shù)字、下劃線、撇號(hào) ’ ? !%amp。$+_*/:=?@\~`^| Level 1 ? 基本類型 – 數(shù) ? int, real ? + * div mod ? ~ 負(fù) 號(hào) ? 類型約束 – 字符串 ? 連接符 ^ ? ”0”和 “0” – 真值 ? orelse, andalso, not ? if E then E1 else E2 fun square x = x*x。 ↓ fun square x = x*x :real。 Level 1 ? 序偶、元組、記錄 – 序偶 ? 向量 ( , ~) : real*real ? type vec = real * real。 – 記錄 ? val ZS = {name=“Zhang San”, age=20, major=“
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1