離散数学(I井先生) 風邪でダウン...no... Prolog/ML演習 LiLFeS処理系を用いたプログラミング append, reverse, sort, generate-and-test等 頭痛い...id:nyaasan来なかったなぁ。prologはまた違う趣が有ると感じたので、↑を借りて読んでみる。最低でも処理系…

今日はSimply Typed Lambda-Calculasのお話。TAPLではまず第8章でArithmetic Expressionに型を導入する。まだSubtypingの概念は出てきていないので、型と式の間には一対一の関係が成り立つ。さらに型の安全性はProgress(正しく片付けされた表現は値であるか…