admarimoin https://blog.hatena.ne.jp/admarimoin/ free(malloc(sizeof(MRM))); https://admarimoin.hatenablog.com/ CS SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻)． what is this きっかけ 実装したもの 型と型推論について 型？ 型付け規則はこわくない 型環境 型付け規則を読む 整数 変数 ラムダ抽象 関数適用 let式 let rec式 型推論？ Hindley-Milner Type System Hindley-Milner型推論 型の連立方程式 多相性 実装 感想 参照したリンクとか what is this 型理論とか全く知らない人がHindley-Milner型推論器(+ REPL)をCで実装したお話． 記事に誤謬などを発見したらコメント… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fadmarimoin.hatenablog.com%2Fentry%2F2019%2F12%2F30%2F000337" title="Hindley-Milner型推論をCで実装した話 - free(malloc(sizeof(MRM)));" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/a/admarimoin/20191227/20191227180411.gif Hatena Blog https://hatena.blog 2019-12-30 00:03:37 rich https://admarimoin.hatenablog.com/entry/2019/12/30/000337 1.0 100%