ReaderT Env Maybe Val (1)

先寫到這... 把 Cls (Val -> Val) 改寫成 Cls Name Expr Env 後，
確實很順利把那個問題解決掉了。有趣的是，稍微調整一下，可以發現普通的：

eval :: Expr -> Reader Env Val

和 transformer 版的：

eval :: Expr -> ReaderT Env Maybe Val

實作幾乎是 identical 的。唯一的差別在 (Var name) 的實作，前者：

eval (Var name) = asks (lookup name) >>= return . fromJust

後者：

eval (Var name) = ReaderT (asks (lookup name))

我試半天搞不懂為什麼會有這樣的差異 @@" 應該是我哪裡沒寫好？
照理說應該全部都能寫成 return 的形式吧？除此之外，
真的完全一模一樣，只有 type 不同而已。感覺好神奇啊... XD

因為不想重開一個 git repo 打擾 follower,
所以我把程式放在 godfat.org 裡面。
bad_ 開頭的是一開始 Cls (Val -> Val) 那個版本，
其餘的則是改成 Cls Name Expr Env 的版本。

下一步是想加上 error handling, 不過不知道怎麼加..?
而且為什麼沒有 MaybeT 和 ListT 啊？不懂？
最後大概就是亂加一堆 monad 進去看看。All About Monads
裡有非常瘋狂的範例，我懷疑死前有沒有辦法看懂...

* * *

讀 monad 好漫長啊。google 第一筆幾乎都是 All About Monads.
這篇寫得非常非常清楚簡潔，但有些地方真的太太太複雜了...
實在比較適合熟練之後，拿來複習或是參考的手冊。
我東看西看了一堆東西，這裡整理出幾個比較常看的：

jinjing 提供的 Of monads and spacesuits
其實這篇我只看了一次，大概就稍微印證一下之前的理解這樣 @@

穆老師的，有一些有趣的細節可以相印證。
單子 (monad) 入門（一）
單子 (monad) 入門（二）讀取單子

我對於 transformer 大多的理解，大多出自 Haskell/Monad transformers
很詳細地說明了一些細節，而不是像 All About Monads 那樣... orz

接著就是之前提過的 Monad Transformers Step by Step
雖然沒講細節，但這篇有蠻詳細的範例...

除此之外就是 doc 查 lib 的定義用：
base-4.2.0.0: Basic libraries
Haskell Hierarchical Libraries

之前好像還有個 monad don't panic 之類的，不過還沒看。
但我猜以上全部看完，可能也不需要看了吧...?

==
該休息了 orz