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 | 6338 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 14 hours ago
6 weeks 18 hours ago
6 weeks 18 hours ago
28 weeks 1 day ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago