[Haskell-cafe] Re: Memoization
pwberry at gmail.com
Fri Jun 8 17:34:26 EDT 2007
On 08/06/07, Peter Berry <pwberry at gmail.com> wrote:
> You could generate F and the Memoizable instance using TH or DrIFT or
> the like (allowing derivation would be really nice :). Actually F
> could be considered a dependent type, so you could define a pretty
> much universal instance using TH with that mechanism.
I meant "associated type" of course.
Peter Berry <pwberry at gmail.com>
Please avoid sending me Word or PowerPoint attachments.
More information about the Haskell-Cafe