前回の日記の続き。
y f = f (y f)
…1行で書けますたorz ちなみに型は
*Main> :t y y :: (t -> t) -> t
参考はこのへんとかこのへん。大いにがいしゅつですた orz orz (てか、出てない方がおかしい話題か…)
しかし両サイトにも出てくる、元のid:sumiiくんの記述にも近い型の再帰定義使うような書き方では、私の手元ではやっぱりGHCが止まらない。
でも、特に後者のメーリングリストの議論を追っかけてると、そんなことには微塵も触れられてない…という以前に、普通にコードが通るという前提で話してるっぽい…なぜ?
という事で、謎はさらに深まるのであった。(なんかショボーイミスしてそう<自分)