zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ Essentials of Programming Languages OCaml 言語処理系 前回登場したLETREC言語に型注釈と型検査をつけたCHECKED言語を実装する。 github.com 具体的には無名関数を定義するprocの仮引数、再帰関数を定義するletrecの仮引数と戻り値に対して型注釈を必要とし、その情報を元に型検査する。 型 CHECKEDで使う型は以下のように定義されている： type t = Int | Bool | Proc of t * t 整数と真偽と、あとは任意の二つの型を組み合わせる関数のための再帰型。後者はネストが可能で(Bool -> Bool) -> Intなどといった型を作ったりできる。 型注釈の記述はこんな感じ： letrec int do… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2019%2F06%2F25%2F185155" title="型推論を実装する　その２　（型検査のある言語を作る） - Arantium Maestum" 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 2019-06-25 18:51:55 rich https://zehnpaard.hatenablog.com/entry/2019/06/25/185155 1.0 100%