型は取りうる値の集合
型があると何が嬉しいのか
ありえない計算を予め防げる 型でエラーを防げる
実行前に型を決定するのが静的型づけ 実行時に型を決定するのが動的型付け
多相型
便利
直積型
代数型データ型
線形型
TAPL読めばいいんじゃないか
型で定理を証明する
型は取りうる値の集合
型があると何が嬉しいのか
ありえない計算を予め防げる 型でエラーを防げる
実行前に型を決定するのが静的型づけ 実行時に型を決定するのが動的型付け
多相型
便利
直積型
代数型データ型
線形型
TAPL読めばいいんじゃないか
型で定理を証明する