Types and Programming Languages
Types and Programming Languages
- 作者: Benjamin C. Pierce
- 出版社/メーカー: The MIT Press
- 発売日: 2002/01/04
- メディア: ハードカバー
- 購入: 5人 クリック: 86回
- この商品を含むブログ (52件) を見る
卒研のためにTAPLをチビチビ読み進めてます。と言ってもすべての内容が必要なわけでもなさそうなので、まぁ半分くらいは趣味の範疇なのかな。
非常に面白い。Curry-Howard correspondenceとか。論理学と型の間にこんな蜜月関係があったとは!ここにあるように、「"aではない" は "aを受け取る継続" という型に対応する」なんて意外過ぎ。その他、「そんなとこまで型の守備範囲なのね」っていう話題が続いていくようで、興味は尽きません。型いいよ型。