zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ 型理論 言語処理系 OCaml 最近は言語処理系に関してまったく手を動かしていなかった＆ブログに何も書いていなかったので練習がてら・・・ Types and Programming Languagesには非常にたくさんの型システムの実例と関連したOCamlコードが載っている。ただし多くは写経したらそのまま実行できるものではなく、また本に載っている型システムすべてについて実装が載っているわけでもない。 著者Benjamin Pierceの大学関連のホームページにTaPLのサイトがありそこにはほぼすべての型システムのテストコードなども含んだ完全形とも言えるソースがある： www.cis.upenn.edu これらを一つ一つDL・… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F10%2F03%2F062457" 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 2022-10-03 06:24:57 rich https://zehnpaard.hatenablog.com/entry/2022/10/03/062457 1.0 100%