{"description":"OCaml\u3084Haskell\u306b\u6bd4\u3079\u308b\u3068\u3001Rust\u306f\u591a\u76f8\u518d\u5e30\u304c\u3067\u304d\u306a\u3044\u5834\u5408\u304c\u307b\u3068\u3093\u3069\u3067\u3042\u308b\u3002\u4ee5\u4e0b\u306b\u305d\u306e\u8a73\u7d30\u3092\u8aac\u660e\u3059\u308b\u3002 \u591a\u76f8\u518d\u5e30 \u7570\u306a\u308b\u578b\u5f15\u6570\u306b\u3088\u308b\u518d\u5e30\u547c\u3073\u51fa\u3057\u3092\u591a\u76f8\u518d\u5e30 (polymorphic recursion) \u3068\u3044\u3046\u3002\u591a\u76f8\u518d\u5e30\u306fPurely Functinoal Data Structures\u3067\u7d39\u4ecb\u3055\u308c\u3066\u3044\u308b\u3088\u3046\u306a\u30c7\u30fc\u30bf\u69cb\u9020\u3067\u3088\u304f\u51fa\u3066\u304f\u308b\u3002\u4f8b\u3048\u3070\u3001\u5b8c\u5168\u4e8c\u5206\u6728\u306fOCaml\u3068Haskell\u3067\u306f\u305d\u308c\u305e\u308c\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u3051\u308b\u3002 type 'a sep = Nil | Cons of ('a * 'a) sep data Sep a = Nil | Cons (Sep (a, a)) \u3053\u308c\u304clist\u2026","published":"2017-03-16 11:41:33","version":"1.0","provider_url":"https://hatena.blog","categories":["Rust"],"width":"100%","author_url":"https://blog.hatena.ne.jp/qnighy/","height":"190","title":"Rust\u3067\u578b\u306e\u591a\u76f8\u518d\u5e30\u306f\u3067\u304d\u306a\u3044","author_name":"qnighy","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fqnighy.hatenablog.com%2Fentry%2F2017%2F03%2F16%2F114133\" title=\"Rust\u3067\u578b\u306e\u591a\u76f8\u518d\u5e30\u306f\u3067\u304d\u306a\u3044 - \u7c21\u6f54\u306aQ\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"\u7c21\u6f54\u306aQ","blog_url":"https://qnighy.hatenablog.com/","provider_name":"Hatena Blog","type":"rich","url":"https://qnighy.hatenablog.com/entry/2017/03/16/114133"}