Hideyuki Tanaka
@tanakh
Stateモナドがpurelyな文脈でmutableな変数を実現してるのと同じ構図かなあ。MonadErrorがtotalな文脈でbotを扱えるかのように見えるのは。
2012-06-29 14:18:06