型！ 型！ #comb_mu

型は取りうる値の集合

型があると何が嬉しいのか

ありえない計算を予め防げる 型でエラーを防げる

実行前に型を決定するのが静的型づけ 実行時に型を決定するのが動的型付け

多相型

便利

直積型

代数型データ型

線形型

TAPL読めばいいんじゃないか

型で定理を証明する