作者noctem (noctem)
看板PLT
標題Re: [問題] FLOLAC op semantics 作業
時間Mon Jul 5 01:10:48 2010
※ 引述《dryman (dryman)》之銘言：
: 57 let rec ns c = match c with
: 58 Inter (Ass (x, e), s) -> Final (update x e s)
: 59 | Inter (Skip, s) -> Final s
: 60 | Inter (Seq (st1,st2), s) -> Final (
: 61 (fun x -> ns (Inter (st2,x)))
: 62 (ns (Inter (st1,s))))
: 61 要讓rec ns可以吃config我完全想不出有什麼可以實踐的方法
: 因為Final != state
: ns 回傳的值不能直接做rec
我也忘記 OCaml 該怎麼寫了，但我想是類似前面 yzugsr 的作法：
ns (Inter (st1, s)) 回傳的值可以再用一個 match 來分解。
另外，ns (Inter (st2, x)) 的結果已經是一個 config 了，
外面就不用加上 Final 了。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.160.134