ほとんど個人的メモです。Identifier について。 型も値も structure 中では pos >= 0 の固有 id を持つ。このため、type t と let t = が存在しても混乱しない。 型は structure 中に同名の物は出現できない。リンク時にも値を作らない。よって、structure …

仕事は新橋である。仕事が終われば運動とかこつけて銀座を徘徊している。家に帰れば晩飯が待っているし、何か腹に入れるとそれこそ運動どころではないから、何をするというわけでもなく、歩いてから有楽町か東京から帰る。だいたい19時前なので、ギャラリー…