というのもあるらしい http://citeseer.ist.psu.edu/meertens90paramorphisms.html http://www.bcs.org/server.php?show=ConWebDoc.5340 色々あるなぁ。 {-# OPTIONS -fglasgow-exts #-} newtype Fix f = In (f (Fix f)) out (In x) = x split f g x = (f x …

結局、ダメなのは私だったという話。コメントで教えていただいた通りやったらできた。 {-# OPTIONS -fglasgow-exts #-} newtype Fix f = In (f (Fix f)) out (In x) = x {-# NOINLINE out #-} --必要ないけど、Core出力見るときに便利とか --確認用 {- fold …

core2coreを見たときに、WorkerWrapperってのと、GlomBindsってのが名前から何をしてるか分からなかったんだけど、WorkerWrapperは、こんな変換らしい。こういうの自動的にできるのか。どうやってるのかは、そのうち

http://d.hatena.ne.jp/m-a-o/20061030 でも書いたLFixとGFixが相変わらずよく理解できなかったり。Wadlerのノートを読み返すと、これは必ずしも自明なもんでもないらしく、論文にもなっているようだけど、論文が入手できん、むー。こういう時、困るなぁ。が…