bellbind https://blog.hatena.ne.jp/bellbind/ ラシウラ https://bellbind.hatenadiary.org/ アルゴリズムについてのメモ 構文: 変数参照(ref)、関数適用(apply)、lambda、let, letrec 整数や文字列などは特別なref扱いで 型宣言はない 型: 多相型と具体型、単一型(アトム)と組合せ型(関数とかタプルとか) 推論型: 構文上の問題から仮に割り当て、チェック時には仮に多相型のようにユニファイしていくことで固定化する具体型。ユニファイでは多相型のように処理するが、処理後は具体型として参照する内部型。仮引数や再帰関数など。 型環境: [(識別子, 型)] 構文ツリーでのlambdaやletごとに親子構造をとる継承式辞書 built-inの名前の型をトップに入れておく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbellbind.hatenadiary.org%2Fentry%2F20060704%2F1151974490" title=" Hindley-Milnerの型推論 - ラシウラ" 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 2006-07-04 09:54:50 rich https://bellbind.hatenadiary.org/entry/20060704/1151974490 1.0 100%