m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 プログラム意味論 オミクロン・ラムダ計算というものを考える。目的は、 名前管理をちゃんとする。 名前や項の解釈に柔軟性を持たせる。 十分な表現力を持ち、かつ出来るだけ単純なデータ構造を導入する。 いくらでも高階の存在物を扱えるようにする。 そのためには、 例外を持つラムダ計算 型ヒントと型のカロウビ包絡と型確認（カロウビ包絡に属する射） 混合レコード オートボクシング／アンボクシング 無名フィールド'_' 型チェックと等値性判定の統合 型チェックとコンストラクタの統合 解釈ロール：値ロール、型ロール、関数ロール 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20151226%2F1451099127" title="ολ計算 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2015-12-26 12:05:27 rich https://m-hiyama-memo.hatenablog.jp/entry/20151226/1451099127 1.0 100%