{"blog_url":"https://keigoi.hatenadiary.org/","title":" type families \u3068 fundeps \u306e\u3001\u5358\u4e00\u5316\u306b\u95a2\u3059\u308b\u5fae\u5999\u306a\u5dee\u7570","type":"rich","width":"100%","published":"2009-11-16 17:09:56","author_url":"https://blog.hatena.ne.jp/keigoi/","blog_title":"keigoi\u306e\u65e5\u8a18","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20091116%2F1258358996\" title=\" type families \u3068 fundeps \u306e\u3001\u5358\u4e00\u5316\u306b\u95a2\u3059\u308b\u5fae\u5999\u306a\u5dee\u7570 - keigoi\u306e\u65e5\u8a18\" 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","version":"1.0","description":"\u6628\u65e5\u306e\u8a18\u4e8b\u306b\u95a2\u9023\u3059\u308b\u306e\u3060\u3051\u3069\u3001 fundeps \u3068 type families \u3067\u4e00\u898b \u540c\u3058\u3088\u3046\u306b\u898b\u3048\u308b\u304c \u5fae\u5999\u306b\u7570\u306a\u308b\u6319\u52d5\u3092\u898b\u3064\u3051\u305f\u3002\u305a\u3044\u3076\u3093\u8fbc\u307f\u5165\u3063\u305f\u4f8b\u3060\u3051\u308c\u3069\u3001\u3055\u3057\u3042\u305f\u308a\u306e\u7406\u89e3\u306e\u305f\u3081\u306b\u3053\u306e\u8a18\u4e8b\u3092\u66f8\u304f\u3002 \u30b9\u30c8\u30fc\u30ea\u30fc \u4f8b\u306e\u3054\u3068\u304f\u3001\u79c1\u306f full-sessions\u306b\u304a\u3044\u3066 \u7e70\u308a\u8fd4\u3057\u3092\u542b\u3080\u30d7\u30ed\u30c8\u30b3\u30eb\u3092\u8868\u73fe\u3057\u305f\u578b\u3092\u8868\u73fe\u3059\u308b\u305f\u3081\u3001 Haskell\u3067\u300c\u898b\u304b\u3051\u4e0a\u3001\u69cb\u9020\u7684\u306a\u518d\u5e30\u578b\u300d\u304c\u6b32\u3057\u3044\u306e\u3067\u3042\u308b(\u3053\u3046\u3044\u3046\u8868\u73fe\u304c\u6b63\u3057\u3044\u304b\u3069\u3046\u304b\u308f\u304b\u3089\u306a\u3044\u3051\u308c\u3069\u2026)\u3002 \u4f8b\u3048\u3070 data F u = F u data G u = G u \u3068\u3044\u3046\u578b\u304c\u3042\u308b\u3068\u304d\u3001 x = F (G x) \u3068\u5b9a\u7fa9\u3055\u308c\u305f x \u306e\u578b\u3092\u3046\u307e\u304fHaskell\u2026","height":"190","author_name":"keigoi","provider_name":"Hatena Blog","categories":["Haskell"],"url":"https://keigoi.hatenadiary.org/entry/20091116/1258358996","image_url":null}