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 | 6386 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 2 days ago
13 weeks 2 days ago
13 weeks 2 days ago
35 weeks 3 days ago
39 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago
44 weeks 22 hours ago
48 weeks 5 days ago
48 weeks 5 days ago