読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

型! 型! #comb_mu

型は取りうる値の集合

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

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

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

多相型

便利

直積型

代数型データ型

線形型

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

型で定理を証明する