{"type":"rich","description":"\u4eca\u56de\u306f case analysis \u3068\u547c\u3070\u308c\u308b\u95a2\u6570\u306e\u8a71\u3067\u30591\u3002 data D a b c = C0 a b | C1 c \u4f8b\u3048\u3070\u4e0a\u8a18\u306e\u3088\u3046\u306a\u30c7\u30fc\u30bf\u578b\u304c\u3042\u3063\u305f\u5834\u5408 case analysis \u95a2\u6570\u306f\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002 d :: (a -> b -> d) -> (c -> d) -> D a b c -> d d f _ (C0 a b) = f a b d _ f (C1 c) = f c \u5024\u69cb\u7bc9\u5b50\u306e\u6570\u3060\u3051\u95a2\u6570\u3092\u5f15\u6570\u3068\u3057\u3001\u5bfe\u8c61\u306e\u30c7\u30fc\u30bf\u3092\u6700\u5f8c\u306e\u5f15\u6570\u3068\u3057\u307e\u3059\u3002\u305d\u308c\u305e\u308c\u306e\u95a2\u6570\u306e\u578b\u306f\u5024\u69cb\u7bc9\u5b50\u306e\u578b\u306b\u4f3c\u307e\u3059\u3002 C0 :: a -> b -> D a b c C1 :: c -> D a b c d ::\u2026","published":"2021-01-06 06:30:09","width":"100%","categories":["Haskell"],"author_name":"kakkun61","url":"https://kakkun61.hatenablog.com/entry/2021/01/06/Case_Analysis_%E9%96%A2%E6%95%B0","title":"Case Analysis \u95a2\u6570","blog_url":"https://kakkun61.hatenablog.com/","provider_url":"https://hatena.blog","version":"1.0","author_url":"https://blog.hatena.ne.jp/kakkun61/","blog_title":"\u8da3\u5473\u306f\u30c7\u30d0\u30c3\u30b0\u2026\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkakkun61.hatenablog.com%2Fentry%2F2021%2F01%2F06%2FCase_Analysis_%25E9%2596%25A2%25E6%2595%25B0\" title=\"Case Analysis \u95a2\u6570 - \u8da3\u5473\u306f\u30c7\u30d0\u30c3\u30b0\u2026\u2026\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","image_url":null,"provider_name":"Hatena Blog"}