{"description":"\u524d\u56de\u306fSubstitution\u95a2\u9023\u3067\u5c11\u3057\u5bc4\u308a\u9053\u3057\u305f\u304c\u3001\u4eca\u56de\u3053\u305d\u306fPrincipal Type Schemes for Functional Programs\u306e\u4e2d\u6838\u3067\u3042\u308b type inference Robinson's unification algorithm algorithm W \u306e\u8a71\u3002 type inference For assumptions A, expressions e and type-scheme \u03c3 we write A \u22a2 e:\u03c3 if this instance may be derived from ... inference rules \u4ee5\u524d\u3067\u305fAsserti\u2026","provider_url":"https://hatena.blog","type":"rich","published":"2022-04-03 11:37:27","blog_url":"https://zehnpaard.hatenablog.com/","provider_name":"Hatena Blog","url":"https://zehnpaard.hatenablog.com/entry/2022/04/03/113727","categories":["\u578b\u7406\u8ad6","\u8ad6\u6587\u30e1\u30e2"],"author_url":"https://blog.hatena.ne.jp/zehnpaard/","image_url":null,"title":"Algorithm W\u5b9f\u88c5\u306e\u305f\u3081\u306bPrincipal Type Schemes for Functional Programs\u3092\u8aad\u3080\uff08\u5f8c\u7de8\uff09","version":"1.0","author_name":"zehnpaard","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F04%2F03%2F113727\" title=\"Algorithm W\u5b9f\u88c5\u306e\u305f\u3081\u306bPrincipal Type Schemes for Functional Programs\u3092\u8aad\u3080\uff08\u5f8c\u7de8\uff09 - 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>","height":"190","blog_title":"Arantium Maestum"}