From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 80F6CBB83 for ; Sat, 9 Sep 2006 23:20:52 +0200 (CEST) Received: from mail.cs.unm.edu (mail.cs.unm.edu [64.106.20.33]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k89LKp89000585 for ; Sat, 9 Sep 2006 23:20:52 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.cs.unm.edu (Postfix) with ESMTP id 62F1EE4226; Sat, 9 Sep 2006 15:20:48 -0600 (MDT) Received: from mail.cs.unm.edu ([127.0.0.1]) by localhost (mail [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 23785-08; Sat, 9 Sep 2006 15:20:48 -0600 (MDT) Received: from [192.168.0.2] (c-68-35-166-190.hsd1.nm.comcast.net [68.35.166.190]) by mail.cs.unm.edu (Postfix) with ESMTP id CD7CFE4221; Sat, 9 Sep 2006 15:20:47 -0600 (MDT) In-Reply-To: <20060909103332.0397efea.mle+ocaml@mega-nerd.com> References: <20060909103332.0397efea.mle+ocaml@mega-nerd.com> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <3C306BC4-702A-451A-A44E-9659DC73FFE7@cs.unm.edu> Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit From: William Neumann Subject: Re: [Caml-list] Memoization Date: Sat, 9 Sep 2006 15:20:51 -0600 To: Erik de Castro Lopo X-Mailer: Apple Mail (2.752.2) X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.unm.edu X-Miltered: at nez-perce with ID 45033033.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; memoization:01 combinator:01 wrappers:01 memoization:01 sml:01 ocaml:01 2006,:98 chocolate:98 pet:98 men's:98 billy:98 wrote:01 polymorphic:01 caml-list:01 functions:01 (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