zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ 言語処理系 OCaml つらつらと「型クラスのある自作言語の処理系を作りたいなー」と考えている。 実用性は度外視で、ある程度型クラスの雰囲気さえ味わえればいい。 Essentials of Programming LanguagesのINFERRED言語を以前実装した： zehnpaard.hatenablog.com 再帰関数くらいまでは定義できる言語に型検査と型推論を追加したものだ。これに手を加えていってなんとかならないか。 必要な修正としては： 構文をS式化する 文字列を型として追加する tuple型を追加する builtin関数の充実 型クラスの機能を追加する 単一の型（tupleでも可）を持つ単一のコンスト… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2019%2F08%2F14%2F091146" 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-08-14 09:11:46 rich https://zehnpaard.hatenablog.com/entry/2019/08/14/091146 1.0 100%