User loginNavigation |
Please help find a paper/tutorialHi, I wanted to reread a paper that discusses how to extend data types in Haskell in a flexible way. newtype Mu f = In (f (Mu f)) Now 0 is encoded as In Zero, 1 as In $ Succ (In Zero), etc. The paper then goes on talking about building higher-order functions in this more flexible framework. I'm not looking for the original papers on catamorphisms and catamorphisms. Thanks for your help. By roy_hu at 2008-02-24 05:11 | LtU Forum | previous forum topic | next forum topic | other blogs | 6255 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 3 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago