{"blog_url":"https://zehnpaard.hatenablog.com/","author_name":"zehnpaard","categories":["OCaml"],"author_url":"https://blog.hatena.ne.jp/zehnpaard/","version":"1.0","height":"190","published":"2021-03-18 08:45:07","title":"let rec\u5185\u3067\u306e\u591a\u76f8\u3068locally abstract type\u3068polymorphic type constraints","provider_url":"https://hatena.blog","image_url":null,"blog_title":"Arantium Maestum","width":"100%","url":"https://zehnpaard.hatenablog.com/entry/2021/03/18/084507","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F18%2F084507\" title=\"let rec\u5185\u3067\u306e\u591a\u76f8\u3068locally abstract type\u3068polymorphic type constraints - 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>","type":"rich","description":"\u3053\u3046\u3044\u3046\u8a18\u4e8b\u3092\u6700\u8fd1\u8aad\u3093\u3060\uff1a tatta.hatenadiary.org \uff08\u66f8\u304b\u308c\u305f\u306e\u306f10\u5e74\u4ee5\u4e0a\u524d\u3060\u304c\uff09 \u3053\u3046\u3044\u3046\u30b3\u30fc\u30c9\u306f\u578b\u30c1\u30a7\u30c3\u30af\u901a\u3089\u306a\u3044\u3088\u3001\u3068\u3044\u3046\u8a71\uff1a let rec f x = x and g () = f 1 and h () = f true;; Line 3, characters 13-17: Error: This expression has type bool but an expression was expected of type int let rec ... and ... and ...\u3068\u3044\u3046\u69cb\u6587\u306e\u4e2d\u3067\u306flet\u591a\u76f8\u304c\u52b9\u304b\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3089\u3057\u3044\u3002 let rec .\u2026","provider_name":"Hatena Blog"}