TAPL読書会@名古屋 #1

僕と一緒に型推論しませんか?

ScalaやF#やSML#などの静的型付き関数型言語の基礎になっている型理論についての勉強会です。

説明が丁寧で例が豊富な 型システム入門 をみんなで読みます。

型に興味のある人は誰でも歓迎です。

今回の内容

• 1章 はじめに(さらっと)
• 2章 数学的準備(もっとさらっと)
• 3章 型無し算術式(マジメに読む)

持ち物

• 型システム入門
• ノートPC
• (好みに応じて)紙と鉛筆
• おやつ