用ML编写正确的程序ML–ProgrammingCorrectly.docxVIP

用ML编写正确的程序ML – Programming Correctly 汪旻 5110379036 yinger650@ 函数式程序设计 过程式语言面向命令，函数式语言面向表达式 函数式语言避免繁琐的内存管理 函数式语言要求写出可靠正确的程序 函数式语言的几个概念 函数，递归，模式匹配，多态类型检测，高阶函数，无穷数据结构，惰性求值 ML与纯函数式编程语言的区别   ML是非纯函数式语言 热情求值 没有无穷数据结构 模块 …… 多态类型检测 异常处理 简单的IO指令 …… ML的诞生 ML(Meta-Language) 是一个通用的函数式编程语言，它是由爱丁堡大学的Robin Milner在二十世纪七十年代晚期开发的，现在流行的方言有Standard ML和Caml. 启发语言：ISWIM 影响语言：Miranda, Haskell, Cyclone, C++, F#, Clojure, Felix, Opa, Erlang …… 设计初衷：LCF定理证明机中寻找证明策略 ML大多被用于语言设计和操作（编译器、分析器、定理证明机）， 但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。 Level 0 Hello world “Hello world!”; (*make a string*) print it; (*output it*) 阶乘函数 fun fac 0 = 1 | fac n = n * fac (n - 1); LV.0 ML Programmer LV.1 ML Programmer Level Up! Level 1 值的声明 命名常量 val pi = 3.14159; 声明函数 fun circle_area (r) = pi*r*r; 标识符 字母开头，允许数字、下划线、撇号’ !%$#+_*/:=?@\~`^| Level 1 基本类型 数 int, real + - * div mod ~ 负号 类型约束 字符串 连接符^ #”0”和“0” 真值 orelse, andalso, not if E then E1 else E2 Level 1 序偶、元组、记录 序偶 向量(2.5 , ~1.2) : real*real type vec = real * real; 记录 val ZS = {name=“Zhang San”, age=20, major=“CS”}; #age ZS; 20 : int LV.1 ML Programmer LV.2 ML Programmer Level Up! Level 2 表达式 中缀操作符(infix operator)及其优先级、结合方式 传值调用(add….) 局部声明 let ... in ... end local ... in ... end 支持嵌套 (* Example for infix operator *) infix xor; fun (p xor q) = (p orelse q) andalso not (p andalso q); (* 中缀优先级 *) infix 7 times; (* 传值调用 *) sqr(sqr(sqr(2))) =sqr(sqr(2*2)) =sqr(sqr(4)) =sqr(4*4) =sqr(16) =16*16 =256 . zero(sqr(sqr(sqr(2))) =zero(sqr(sqr(2*2))) =zero(sqr(sqr(4))) =zero(sqr(4*4)) =zero(sqr(16)) =zero(16*16) =zero(256) =0 (* Example for let ... in ... end *) fun fraction (n,d) = let val com = gcd(n,d) in (n div com, d div com) end; val fraction = fn : int * int - int * int (* Example for local ... in ... end *) local fun itfib (n, prev, curr) : int = if n=1 then curr else itfib (n-1, curr, prev+curr) in fun fib (n) = itfib(n, 0, 1) end; val fib = fn ; int - int LV.2 ML Programmer LV.3 ML Programmer Level