2008/08/04

準備再撞牆

我覺得我寫 practical monad 大概已經到一個程度。例證是今天把一段 IO monad 的程式包進 StateT 裡面,然後用 replicateM_sequence_ 等函式把一大堆 StateTIO 串來串去,一切都發生得很自然,最後也沒有 type error!看來可以試著往 category-theoretical monad 挺進了 XD。

--
不過也可能是因為 IOState 正好是我最常練習的兩種 monads XD。

Labels:

<< 回到主頁