User loginNavigation |
Species: making analytic functors practical for functional programmingSpecies: making analytic functors practical for functional programming, Jacques Carette and Gordon Uszkay. Submitted to MSFP 2008.
Learning more about the theory of species and working out its implications for programming has been on my to-do list for several years now. It really seems like the natural way to more tightly integrate combinatoric ideas into the functional programming style. (For an example of how fruitful this connection can be, consider how datatype differentiation explains zippers/functional pointers.) However, there's been this whole "graduation" and "primary research focus" stuff that's kept getting in the way, so I'm happy to see that Carette and Uszkay are figuring it out so I can just crib from them. :) |
Browse archives
Active forum topics
|
Recent comments
15 weeks 2 days ago
19 weeks 4 days ago
21 weeks 1 day ago
21 weeks 1 day ago
23 weeks 6 days ago
28 weeks 3 days ago
28 weeks 4 days ago
29 weeks 1 hour ago
29 weeks 1 hour ago
31 weeks 5 days ago