トップ «前の日記(2006-06-12) 最新 次の日記(2006-06-14)» 月表示 編集

日々の流転


2006-06-13 [長年日記]

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

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

Tags: haskell

λ. 今日の IT system

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