日々の流転

λ. evaluate a と a `seq` return a の違い

Control.Exception の evaluate :: a -> IO a と evaluate' a = a `seq` return a で定義した evaluate' :: a -> IO a の振る舞いは異なる。evaluate ⊥ ≠ ⊥ = evaluate' ⊥。しかし、これがControl.Exceptionモジュールにあるのは何でだろうね。

λ. 今日の IT system

• Ghost Researcher
• 修論をブログで書く。Web 2.0