lyrical_logical https://blog.hatena.ne.jp/lyrical_logical/ ろじかるんるんものがたり https://lyrical-logical.hatenadiary.org/ haskell scala #scala にあって他の関数型言語には見られない機能として、PartialFuncttionがあるが、良いものだと思う(命名は良くない。CheckableFunctionとか他の名前が良かった気がする)。おかげでcollectみたいなメソッドが定義できるし、他にも応用が利く。 という @kmizu さんの発言があったので Haskell でもやっときます。 {-# LANGUAGE TypeOperators #-} import Data.Maybe type Open a = a -> a fix :: (a -> a) -> a fix f = f (fix f) close :: O… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flyrical-logical.hatenadiary.org%2Fentry%2F20111231%2F1325343173" title="PartialFunction in Haskell - ろじかるんるんものがたり" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-12-31 23:52:53 rich https://lyrical-logical.hatenadiary.org/entry/20111231/1325343173 1.0 100%