[Haskell-cafe] Re: Memoization

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

More information about the Haskell-Cafe mailing list