用ml編寫正確的程序ml–programmingcorrectly-資料下載頁
2025-09-19 17:50本頁面
【導讀】過程式語言面向命令，函數(shù)式語言面向表達式。函數(shù)式語言避免繁瑣的內(nèi)存管理。函數(shù)式語言要求寫出可靠正確的程序。–函數(shù)，遞歸，模式匹配，多態(tài)類型檢測，高階函數(shù)，ML是非純函數(shù)式語言。ML是一個通用的函數(shù)式編程語言，它是由。愛丁堡大學的RobinMilner在二十世紀七十年代晚期開發(fā)的，現(xiàn)在流行的方言有StandardML和Caml.ML大多被用于語言設(shè)計和操作（編譯器、分析器、定理證明。宗譜數(shù)據(jù)庫，一個P2P的客戶／服務(wù)器程序等等。字母開頭，允許數(shù)字、下劃線、撇號’。#”0”和“0”。序偶、元組、記錄。valZS={name=“ZhangSan”,age=20,major=“CS”};不同結(jié)構(gòu)里的標識符可以相同
【正文】 ise E b | lookup (Br ((a,x),t1,t2), b) = (case (a,b) of GREATER = lookup(t1, b) | EQUAL = x | LESS = lookup(t2, b))。 fun insert (Lf, b, y) = Br((b,y), Lf, Lf) | insert (Br((a,x),t1,t2), b, y) = (case (a,b) of GREATER = Br ((a,x), insert(t1,b,y), t2) | EQUAL = raise E b | LESS = Br ((a,x), t1, insert(t2,b,y)))。 fun update (Lf, b, y) = Br((b,y), Lf, Lf) | update (Br((a,x),t1,t2), b, y) = (case (a,b) of GREATER = Br ((a,x), update(t1,b,y), t2) | EQUAL = Br ((a,y), t1, t2) | LESS = Br ((a,x), t1, update(t2,b,y)))。 end。 Level Up! 后期升級攻略 ? 函數(shù)與算子 ? 實現(xiàn)惰性求值 ? 實現(xiàn)搜索策略 ? 函數(shù) 式程序正確性的證明 ? 抽象 類型（用于建立大型系統(tǒng)） ? ML中的命令式程序設(shè)計 ? 應用： LAMBDA演算解釋器 總結(jié) ? 用 ML可以很容易寫出清晰、可靠的程序。值得作為函數(shù)式編程的入門語言。 ? 在犧牲部分效率的情況下，提升程序的安全性是十分必要的。因為在函數(shù)式編程里，正確性第一，清晰性次之，效率排在第三位。 ? ML在運行前會檢查所有的類型和接口以防止出錯，讓程序員將更多的精力放在豐富語言上，而不是冗長又無用的調(diào)試和測試。 ? ML遠 沒有這次所展示的這么少，它的強大之處還待繼續(xù)去深入地了解。 參考資料 1. ML for the Working Programmer Second Edition, Lawrence C. Paulson 2. ML (programming language) Functional programming 3. A Gentle Introduction to ML, Andrew Cumming, Computer Studies, Napier University 4. The ML Language Typed Functional Programming with Assignments 問答 謝謝聆聽
教學課件相關(guān)推薦
鄂ICP備17016276號-1