SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻). what is this きっかけ 実装したもの 型と型推論について 型? 型付け規則はこわくない 型環境 型付け規則を読む 整数 変数 ラムダ抽象 関数適用 let式 let rec式 型推論? Hindley-Milner Type System Hindley-Milner型推論 型の連立方程式 多相性 実装 感想 参照したリンクとか what is this 型理論とか全く知らない人がHindley-Milner型推論器(+ REPL)をCで実装したお話. 記事に誤謬などを発見したらコメントとかDM,リプライください(@cmpl_error). きっかけ 今年の4月からHindley-Milner型推論という型推論アルゴリズムがあるのはなんとなく知っていて,実装してみたいなーという気持ち
![Hindley-Milner型推論をCで実装した話 - free(malloc(sizeof(MRM)));](https://cdn-ak-scissors.b.st-hatena.com/image/square/428273dc0d4b19c93a7b2a0037e1a96e198ba530/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fa%2Fadmarimoin%2F20191227%2F20191227180411.gif)