TAPL勉強会 1回目

友人宅で行われた、友人主催のTAPL(Types and Programming Language)の勉強会に行ってきました。

Types and Programming Languages

Types and Programming Languages

日本語訳は
型システム入門 −プログラミング言語と型の理論−

型システム入門 −プログラミング言語と型の理論−

  • 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男
  • 出版社/メーカー: オーム社
  • 発売日: 2013/03/26
  • メディア: 単行本(ソフトカバー)
  • クリック: 68回
  • この商品を含むブログ (11件) を見る

今日は1章から3章までの範囲で型云々はまだ出てきませんが、 早くもその内容の難しさをヒシヒシと感じました。 ゼミや講義で多少関数型言語の勉強をしていたので、 今回の内容についてはある程度太刀打ちできましたが、 今後の内容を理解できるかが若干不安です。