programming language A第二周整理

今天搞完了第二周的全部内容

非常高兴的是许多知识都在sicp中学到过了

其中讨论的SML中的mutation和options 是我现在还没在sicp中看到的概念

对于mutation,课程中比较了JAVA和SML

由于SML中没有mutation所以不用考虑是copy还是引用

scheme中如果用函数式则也不用考虑,如果引入set!等就得考虑了

options是SML中的一个概念类似于list

首先是NONE 可以看做是[ ]的类比

另一个是SOME e 可以看做是 e::[ ]的类比

下面是一个max函数   type如下

(*int list -> int option*)
fun max(x : int list) =
    if null x
    then NONE
    else 
    let (*int list -> int*)
        fun max_h(x : int list) =
        if null (tl x)
        then hd x
        else
            let 
            val ans = max_h (tl x)
            in
            if hd x > ans
            then hd x
            else ans
            end
    in
        SOME (max_h x)
    end

从这一周的学习来看SML还是很有魅力的,没有lisp那么多括号感觉写起来更加优雅而且函数式就是写起来爽啊