hkdnet https://blog.hatena.ne.jp/hkdnet/ Smoky God Express https://hkdnet.hatenablog.com/ TaPL 技術系日記 前回: hkdnet.hatenablog.com 今回は7章、8章。 7章は実装章である。個人的には小ステップの実装をするところまでで終わり。大ステップには変換しなかった。もうひとり書いてきた人のと小ステップ・大ステップでの差異をかるく比較して終わり。実装したのは2人だったが、「実装したからといって理解したとは限らない」のであった。 8章からは「型つき算術式」ということでようやく型がついた。長く苦しい戦いだった(マジ) 以前は「行き詰まり状態」というものを導入して評価をとめていたが、それらを実行前に静的に解釈して行き詰まり状態であることを検査したい。そのため型 Nat, Bool を導入する… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhkdnet.hatenablog.com%2Fentry%2F2018%2F09%2F30%2F182611" title="TaPL読書録 #6 - Smoky God Express" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-09-30 18:26:11 rich https://hkdnet.hatenablog.com/entry/2018/09/30/182611 1.0 100%