Continuation monad

今天就以讀這個做終結吧 @@
The Continuation monad

老實講我一直不喜歡看 continuation 的東西，
（而且 ruby 1.9 居然拿掉 callcc 了 @@）
覺得很難掌握，不好懂。之所以還是覺得要看是因為，
All about monads 的 monad transformer 的第一個範例是延續這個，
不看懂我怕很難接上去 :(

and.... 我覺得這樣看 agda 的程式，目前還抓不到什麼方法，
與其一直卡在那裡，不如補充一點基本知識好了，或許會因此順利些？