眠すぎたのでキーワードだけ

計算モデル論では、ラムダ式の簡約化戦略として前回やったcall by nameとcall by valueのほかにcall by needをやってひとまず終わり。
今度は変数の型についての議論に入ります。何で型が必要なのか、型の検査方式は、強い型付けとは、とかそんなところ。