日々の流転

λ. “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「最小元の正体」に以下のようにあったのだけど、萩野先生がこれを喋っているのが目に浮かんで……

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