{"author_url":"https://blog.hatena.ne.jp/yts/","provider_name":"Hatena Blog","blog_title":"One of the Eight Stones","url":"https://yts.hatenadiary.org/entry/20041127/p3","description":"hyperset\u3063\u3066\u4f55\uff1f\u306a\u30ec\u30d9\u30eb\u306a\u306e\u3060\u3051\u3069\u3002;-)Set u\u304bu\u304b\u306b\u3088\u3063\u3066\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u9055\u3046\u306e\u3067\u30bf\u30a4\u30d7\u30af\u30e9\u30b9\u3092\u4f7f\u308f\u306a\u3044\u3068\u3067\u304d\u306a\u3055\u305d\u3046\u3002 \u30de\u30eb\u30c1\u30d1\u30e9\u30e1\u30fc\u30bf\u30bf\u30a4\u30d7\u30af\u30e9\u30b9\u3092\u4f7f\u308f\u305a\u306b\u3067\u304d\u308b\u3060\u308d\u3046\u304b\uff1f \u554f\u984c f :: k -> A a -> B k \u3068\u3057\u3066\u578b a \u307e\u305f\u306f C a \u3092\u3068\u308c\u308b\u3088\u3046\u306a\u95a2\u6570f\u3092\u5b9a\u7fa9\u305b\u3088\u3002 \u89e3\u7b54(\u3082\u3069\u304d)1 \u307e\u305aElm\u3068\u30bf\u30b0\u3092\u3064\u3051\u3066\u3068\u3082\u306b\u751f\u304d\u308b\u3002Either\u3088\u308a\u306f\u4f7f\u3044\u3084\u3059\u3044\u304c\u2026 newtype Set a = Set [Elm a] newtype Elm a = Elm a data SupT a = Elm_ (Elm a) | Set_ (Set a) -- Elm, Set\u2026","blog_url":"https://yts.hatenadiary.org/","image_url":null,"type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyts.hatenadiary.org%2Fentry%2F20041127%2Fp3\" title=\" \u30b9\u30fc\u30d1\u30fc\u30bf\u30a4\u30d4\u30f3\u30b0 - One of the Eight Stones\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","author_name":"yts","title":" \u30b9\u30fc\u30d1\u30fc\u30bf\u30a4\u30d4\u30f3\u30b0","height":"190","version":"1.0","published":"2004-11-27 00:00:02","categories":["Haskell"],"width":"100%"}