zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ Essentials of Programming Languages OCaml 言語処理系 型なしのLETREC、型検査のCHECKEDときて、ついに型推論ができるINFERREDの実装に移る。 github.com 言語仕様の変更 前回のCHECKEDでは letrec int double(x : int) = if zero?(x) then 0 else -((double -(x, 1)), -(0, 2)) in (double 6) のように関数の仮引数の型と、再帰関数の戻り値の型を明示的に指定する必要があった。 INFERREDでは型注釈の部分に「?」を入れることで、型をプログラマが指定せずに言語側で推論するようにできる： letrec ? double(x : ?)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2019%2F07%2F01%2F102918" 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-07-01 10:29:18 rich https://zehnpaard.hatenablog.com/entry/2019/07/01/102918 1.0 100%