2017-02-15から1日間の記事一覧

TAPLを読む会(8~12章)

8章 型付け関係 NBに対して型をつけてみる。 型付け関係の逆転(逆転補題)(生成補題) 項を型付けるためのアルゴリズムを与える。(部分型とかが入ってくるとこれが大変になる…かな?) 進行性 項が正しく型付けられているなら、正規形->値(標準形)が成り立つ。 …