Re: [Haskell-cafe] Higher-order algorithms

2010/8/23 Eugene Kirpichov :

[snip] Do there exist other nontrivial higher-order algorithms and datastructures? Is the field of higher-order algorithms indeed as unexplored as it seems? [snip]

Hi, I'm thinking to some HOAS (higher order abstract syntax) representation. Cheers, Thu