[Haskell-cafe] Re: Memoization

[Peter Berry]

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.
See http://www.gnu.org/philosophy/no-word-attachments.html