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

翼つながり。 天使って背中に羽が生えてます。そういうことになってます。だいたい肩甲骨のあたりから。天使じゃなくても、ファンタジーの世界には羽付きの人間がわんさかいたりするわけですが。それでこの有翼人種さんたちの骨格が知りたいなと思っていまし…