We recently had to put together a generic account of memoization in a 
functional language (in our case OCaml) so that we can address a staging 
problem in a generic manner.  Section 3 of

	http://www.cs.rice.edu/~taha/publications/conference/pepm06.pdf

is a low-impact buildup to memoization as a monadic library.

Walid.

|(resending to include the mailing list)
|
|On Sep 8, 2006, at 6:33 PM, Erik de Castro Lopo wrote:
|
|> Unfortunately, the URL is dead. Does anybody have another link for
|> that code or some other polymorphic memoizer?
|
|You may want to take a look at this paper by Bruce McAdam that uses a fix-point
|combinator to create all sorts of wrappers for functions, including
|memoization.  The examples ore in SML, but translate pretty easily to OCaml.
|
|http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/
|
|
|William D. Neumann
|
|"I eat T-bone steaks, I lift barbell plates, I'm sweeter than a
|German chocolate cake. I'm the reflection of perfection, the number
|one selection. I'm the man of the hour, the man with the power, too
|sweet to be sour. The ladies' pet, the men's regret, where what you
|see is what you get, and what you don't see, is better yet."
|
|        --Superstar Billy Graham
|
|
|
|_______________________________________________
|Caml-list mailing list. Subscription management:
|http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
|Archives: http://caml.inria.fr
|Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
|Bug reports: http://caml.inria.fr/bin/caml-bugs
|
|!DSPAM:4503307f144882042218820!