2002-09-23 [長年日記]
λ. 某氏が「悪代官」というゲームにはまってる。つーか、悪代官が「赤い彗星!?」とかいってんじゃねーよ。(微笑)
λ. 夕食
家族で焼き肉屋へ。
λ. データ型
についてヘロヘロと考える。coherent condition (+α)を満たすようなcoercingを用いてsubtypeを定義するならば、全てのsupertypeは当然「ただ一つの値からなる、何の操作も定義されていない型」のではないか? これは型を値の集合として考えたときの姿とあまりにも違いすぎる……
[ツッコミを入れる]
