{"categories":[],"provider_name":"Hatena Blog","provider_url":"https://hatena.blog","published":"2014-04-24 00:14:38","height":"190","title":"Haskell\u5b9a\u7406\u8a3c\u660e\u58eb\u304cEmptyCase\u62e1\u5f35\u306b\u3088\u3063\u3066\u53d7\u3051\u308b\u6069\u6075\u3068\u52b9\u80fd","blog_title":"\u307c\u304f\u306e\u306c\u307e\u3061 \u51fa\u5f35\u7248","image_url":null,"url":"https://notogawa.hatenablog.com/entry/2014/04/24/001438","type":"rich","width":"100%","author_url":"https://blog.hatena.ne.jp/notogawa/","blog_url":"https://notogawa.hatenablog.com/","description":"EmptyCase\u304c\u5165\u3063\u3066\u304d\u305f\uff0eabsurd pattern matching\u304cHaskell\u3067\u4f7f\u3048\u308b\u306e\u3067Haskell\u8a3c\u660e\u58eb\u306b\u306f\u6717\u5831\u3060\uff0e\u5177\u4f53\u7684\u306bEmptyCase\u306e\u6709\u7121\u3067\u4e16\u754c\u304c\u3069\u3046\u5909\u308f\u308b\u304b\u3092\u628a\u63e1\u3057\u3066\u308b\u7bc4\u56f2\u3067\u66f8\u304f\uff0e\u307e\u305a\uff0c\u77db\u76fe(bottom)\u306e\u6271\u3044\u306b\u3064\u3044\u3066\uff0e\u77db\u76fe\u306f\u300c\u5024\u3092\u69cb\u6210\u3067\u304d\u306a\u3044\u578b\u300d\u306b\u306a\u308c\u3070\u3088\u3044\u306e\u3067\uff0c\u901a\u5e38\u6b21\u306e\u3044\u305a\u308c\u304b\u306b\u306a\u308b\uff0e data Bottom data Bottom = Bottom Bottom \u76f4\u89b3\u4e3b\u7fa9\u306b\u304a\u3051\u308b\u300c\u77db\u76fe\u304b\u3089\u306f\u4f55\u3067\u3082\u5c0e\u3051\u308b(bottom elimination)\u300d\u306f\uff0c\u578b\u3068\u3057\u3066\u306f\uff0c bottomElimination :: Bottom -> whatever \u3068\u306a\u308b\u304c\uff0c\u4eca\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnotogawa.hatenablog.com%2Fentry%2F2014%2F04%2F24%2F001438\" title=\"Haskell\u5b9a\u7406\u8a3c\u660e\u58eb\u304cEmptyCase\u62e1\u5f35\u306b\u3088\u3063\u3066\u53d7\u3051\u308b\u6069\u6075\u3068\u52b9\u80fd - \u307c\u304f\u306e\u306c\u307e\u3061 \u51fa\u5f35\u7248\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"notogawa","version":"1.0"}