What have you found for these years?

2010-01-02

ReaderT Env Maybe Val (3)

真的該睡了... 不過 liftIO 差不多試完了 @@"
大概有實際例子之後,試兩下就能抓到感覺了。
我想 liftIO 的感覺大概就是把 IO a 丟到 mt 裡面?
類似 return, 只是不是吃 a, 而是吃 IO a ?
eval 的 type 改成:

eval :: Expr -> ReaderT Env (ErrorT String IO) Val

全文

下一步是加入 StateT, 至於用什麼 state, 隨便塞個數字就好。

==
btw, IO monad 好像抽不出來 XD
像是 Maybe 可以用 fromJust 抽,
可沒有 fromIO ... 使得最後的:

test = [test0, test1, test2, test3, test4, test5]

變得毫無意義,因為抽不出來 :(
就算把裡面的值依序印出來好了,由於 lazy 特性,也無效.. XD
不知道要用什麼方法強迫 haskell 去計算?

0 retries:

Post a Comment

All texts are licensed under CC Attribution 3.0