English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-10-06 (03:22)
From: Walid Taha <taha@c...>
Subject: Re: [Caml-list] Memoization

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


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


|(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.
|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:
|Archives: http://caml.inria.fr
|Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
|Bug reports: http://caml.inria.fr/bin/caml-bugs