{"author_name":"admarimoin","published":"2019-12-30 00:03:37","height":"190","provider_url":"https://hatena.blog","blog_title":"free(malloc(sizeof(MRM)));","provider_name":"Hatena Blog","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/a/admarimoin/20191227/20191227180411.gif","blog_url":"https://admarimoin.hatenablog.com/","categories":["CS"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fadmarimoin.hatenablog.com%2Fentry%2F2019%2F12%2F30%2F000337\" title=\"Hindley-Milner\u578b\u63a8\u8ad6\u3092C\u3067\u5b9f\u88c5\u3057\u305f\u8a71 - 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>","description":"SecHack365 2019 Advent Calendar 14\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059(\u5927\u9045\u523b)\uff0e what is this \u304d\u3063\u304b\u3051 \u5b9f\u88c5\u3057\u305f\u3082\u306e \u578b\u3068\u578b\u63a8\u8ad6\u306b\u3064\u3044\u3066 \u578b\uff1f \u578b\u4ed8\u3051\u898f\u5247\u306f\u3053\u308f\u304f\u306a\u3044 \u578b\u74b0\u5883 \u578b\u4ed8\u3051\u898f\u5247\u3092\u8aad\u3080 \u6574\u6570 \u5909\u6570 \u30e9\u30e0\u30c0\u62bd\u8c61 \u95a2\u6570\u9069\u7528 let\u5f0f let rec\u5f0f \u578b\u63a8\u8ad6\uff1f Hindley-Milner Type System Hindley-Milner\u578b\u63a8\u8ad6 \u578b\u306e\u9023\u7acb\u65b9\u7a0b\u5f0f \u591a\u76f8\u6027 \u5b9f\u88c5 \u611f\u60f3 \u53c2\u7167\u3057\u305f\u30ea\u30f3\u30af\u3068\u304b what is this \u578b\u7406\u8ad6\u3068\u304b\u5168\u304f\u77e5\u3089\u306a\u3044\u4eba\u304cHindley-Milner\u578b\u63a8\u8ad6\u5668(+ REPL)\u3092C\u3067\u5b9f\u88c5\u3057\u305f\u304a\u8a71\uff0e \u8a18\u4e8b\u306b\u8aa4\u8b2c\u306a\u3069\u3092\u767a\u898b\u3057\u305f\u3089\u30b3\u30e1\u30f3\u30c8\u2026","type":"rich","version":"1.0","width":"100%","author_url":"https://blog.hatena.ne.jp/admarimoin/","url":"https://admarimoin.hatenablog.com/entry/2019/12/30/000337","title":"Hindley-Milner\u578b\u63a8\u8ad6\u3092C\u3067\u5b9f\u88c5\u3057\u305f\u8a71"}