トップ «前の日記(2008-02-13) 最新 次の日記(2008-02-16)» 月表示 編集

日々の流転


2008-02-14 [長年日記]

λ. “Towards open type functions for Haskell” by Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, and Manuel Chakravarty

を読んだ。

<URL:http://research.microsoft.com/~simonpj/papers/assoc-types/>

λ. プログラムが⊥を返す意味 / プログラムに⊥を渡す意味

萩野先生の情報アーキテクチャ 第4回「領域理論入門」のp.19「最小元の正体」に以下のようにあったのだけど、萩野先生がこれを喋っているのが目に浮かんで……

  • プログラムが⊥を返す意味
    • 答がでない.無理.
    • いくら計算しても止まらない
    • 未定義
  • プログラムに⊥を渡す意味
    • なにも情報がありませんが,計算して!
    • これを使ってはいけませんよ
Tags: tom