型凝り : 404 Blog Not Found2006年11月01日16:55 カテゴリLogos 型凝り そうだろうか。 Types and Programming Languages Benjamin C. Pierce finalventの日記 - 夢みたいな夢じゃないような以前もちょろっと書いたが変数は型（タイプ）なんてないほうがいいというか、型を意識して物を考えさせられるのは苦痛だ。人間は物に対して型なんて考えない。それが自然だ、と。 怠惰(laziness)を追求すれば、自然と型を使ってしまうのが人間、いや生物だと思うのだが。 別にプログラムの世界に限った話ではない。「メタルカラーの時代５」において、三井ハイテックの三井孝昭氏は、「人間と動物の違いは金型を使うか使わないかだ」という名言を残しているが、動物どころか地球上の生物は金型はとにかく一つの細胞の例外も残さず型を使う。DNA → mRNA → tRNA+アミノ酸 →
