zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 このようなツイートを拝見した： instantiationだけ実装すれば組み込み関数の多相化が出来るのでは？— taka2 (@Jj1Fxh) October 30, 2022 確かにそのとおりで、単相型推論からLet多相の間に「ユーザ定義の関数は単相だが特定の組み込み関数は多相」という型システムが想定できる。 さらにいうとこの型システムはLet多相の実装の一部を使ったものになり、「段階的に高度な型システムを実装していく」というこのシリーズの趣旨に沿ったものになる。 というわけで 「型推論を実装・改善していく６ ミュータブルな型変数を使った単相型推論（後編）」 「型推論を実装・改善していく７ … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F10%2F31%2F115110" 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-31 11:51:10 rich https://zehnpaard.hatenablog.com/entry/2022/10/31/115110 1.0 100%