[Haskell-cafe] Higher-order algorithms

Vo Minh Thu noteed at gmail.com
Mon Aug 23 09:25:58 EDT 2010


2010/8/23 Eugene Kirpichov <ekirpichov at gmail.com>:

> [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


More information about the Haskell-Cafe mailing list