代数的データ型の話をします．その後，代数的データ型を使うプログラムの性質を議論します．高校で習った数学とプログラムがつながるくらいの感じです．
関数型プログラミング言語が好きだけど，理論的な話はあまり知らない，でも高校のときはけっこう数学が得意で，数学的帰納法とか面白いと思ったなあという人が対象です．一方，型システム理論入門を読んじゃうような人には新しいことはありません．代数の話も圏論の話もしません．初等的な話です．
練習問題を用意したので，計算用紙と筆記用具をもって参加してください．