{"author_name":"syamino","published":"2012-05-04 00:00:00","provider_name":"Hatena Blog","image_url":null,"width":"100%","url":"https://syamino.hatenadiary.org/entry/20120504/p1","blog_url":"https://syamino.hatenadiary.org/","provider_url":"https://hatena.blog","description":"3\u3064\u306e\u6307\u6570\u6cd5\u5247 \u6307\u6570\u6cd5\u5247\u3092\u6570\u5f0f\u304b\u3089\u578b\u306b\u66f8\u304d\u63db\u3048\u308b \u6570\u5f0f \u578b b -> a Either a b (a, b) \u3053\u306e\u8868\u306e\u901a\u308a\u306b\u6307\u6570\u6cd5\u5247\u3092\u66f8\u304d\u63db\u3048\u308b\u3068\uff0c\u3053\u3046\u306a\u308a\u307e\u3059\u3002 (a, b) -> c = a -> (b -> c) (a -> b, a -> c) = a -> (b, c) (a -> c, b -> c) = (Either a b -> c) \u3053\u308c\u3089\u306f\uff0ccurry,(&&&),(|||)\u306e\u578b\u3068\u3088\u304f\u4f3c\u3066\u3044\u307e\u3059\u3002 \u95a2\u6570\u578b curry(a, b) -> c -> (a -> b -> c) (&&&)(a -> b) -> (a -> c) -> (a -> (b, c)) (|||)(a\u2026","author_url":"https://blog.hatena.ne.jp/syamino/","version":"1.0","title":"curry,(&&&),(|||)\u306e\u578b\u304c\uff0c\u6307\u6570\u6cd5\u5247\u3068\u5bfe\u5fdc\u3057\u3066\u3044\u308b","height":"190","categories":["\u30ab\u30ea\u30fc\u30cf\u30ef\u30fc\u30c9\u5bfe\u5fdc"],"type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsyamino.hatenadiary.org%2Fentry%2F20120504%2Fp1\" title=\"curry,(&amp;&amp;&amp;),(|||)\u306e\u578b\u304c\uff0c\u6307\u6570\u6cd5\u5247\u3068\u5bfe\u5fdc\u3057\u3066\u3044\u308b - @syamino \u306f\u3066\u306a\u30c0\u30a4\u30a2\u30ea\u30fc\" 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":"@syamino \u306f\u3066\u306a\u30c0\u30a4\u30a2\u30ea\u30fc"}