{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Flyrical-logical.hatenadiary.org%2Fentry%2F20111231%2F1325343173\" title=\"PartialFunction in Haskell - \u308d\u3058\u304b\u308b\u3093\u308b\u3093\u3082\u306e\u304c\u305f\u308a\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"#scala \u306b\u3042\u3063\u3066\u4ed6\u306e\u95a2\u6570\u578b\u8a00\u8a9e\u306b\u306f\u898b\u3089\u308c\u306a\u3044\u6a5f\u80fd\u3068\u3057\u3066\u3001PartialFuncttion\u304c\u3042\u308b\u304c\u3001\u826f\u3044\u3082\u306e\u3060\u3068\u601d\u3046(\u547d\u540d\u306f\u826f\u304f\u306a\u3044\u3002CheckableFunction\u3068\u304b\u4ed6\u306e\u540d\u524d\u304c\u826f\u304b\u3063\u305f\u6c17\u304c\u3059\u308b)\u3002\u304a\u304b\u3052\u3067collect\u307f\u305f\u3044\u306a\u30e1\u30bd\u30c3\u30c9\u304c\u5b9a\u7fa9\u3067\u304d\u308b\u3057\u3001\u4ed6\u306b\u3082\u5fdc\u7528\u304c\u5229\u304f\u3002 \u3068\u3044\u3046 @kmizu \u3055\u3093\u306e\u767a\u8a00\u304c\u3042\u3063\u305f\u306e\u3067 Haskell \u3067\u3082\u3084\u3063\u3068\u304d\u307e\u3059\u3002 {-# LANGUAGE TypeOperators #-} import Data.Maybe type Open a = a -> a fix :: (a -> a) -> a fix f = f (fix f) close :: O\u2026","width":"100%","blog_url":"https://lyrical-logical.hatenadiary.org/","height":"190","categories":["haskell","scala"],"image_url":null,"author_url":"https://blog.hatena.ne.jp/lyrical_logical/","title":"PartialFunction in Haskell","published":"2011-12-31 23:52:53","type":"rich","blog_title":"\u308d\u3058\u304b\u308b\u3093\u308b\u3093\u3082\u306e\u304c\u305f\u308a","provider_name":"Hatena Blog","url":"https://lyrical-logical.hatenadiary.org/entry/20111231/1325343173","author_name":"lyrical_logical","version":"1.0","provider_url":"https://hatena.blog"}