zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml TaPL 非常に限定された一部界隈では非常に有名なことで有名なTypes and Programming Languagesの公式サイトから、本に出てくる型システムの実装がダウンロードできる： www.cis.upenn.edu 以前も気になった部分を落として実装を覗いてみたりはしたのだが、コンパイルして走らせてみたりはしなかった。 最近個人的な型システム熱が強まってきたので、自分でも実装してみようと思ってまずは公式実装をコンパイルして使ってみることにした。 公式はocamlcを使ったMakefileを提供しているが、私は自分のコードはいつもduneでコンパイルしているのでとりあえずそっちを使ってみるこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F02%2F215219" title="TaPLの公式実装をduneでビルドする時にハマったこと - 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 2021-03-02 21:52:19 rich https://zehnpaard.hatenablog.com/entry/2021/03/02/215219 1.0 100%