TAPL勉強会 1回目
友人宅で行われた、友人主催のTAPL(Types and Programming Language)の勉強会に行ってきました。
Types and Programming Languages
- 作者: Benjamin C. Pierce
- 出版社/メーカー: The MIT Press
- 発売日: 2002/01/04
- メディア: ハードカバー
- 購入: 5人 クリック: 86回
- この商品を含むブログ (53件) を見る
- 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男
- 出版社/メーカー: オーム社
- 発売日: 2013/03/26
- メディア: 単行本(ソフトカバー)
- クリック: 68回
- この商品を含むブログ (11件) を見る
今日は1章から3章までの範囲で型云々はまだ出てきませんが、 早くもその内容の難しさをヒシヒシと感じました。 ゼミや講義で多少関数型言語の勉強をしていたので、 今回の内容についてはある程度太刀打ちできましたが、 今後の内容を理解できるかが若干不安です。