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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 96969BC50 for ; Tue, 3 Oct 2006 01:04:38 +0200 (CEST) Received: from postar.fmf.uni-lj.si (vega.fmf.uni-lj.si [193.2.67.45]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k92N4btt014918 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 3 Oct 2006 01:04:38 +0200 Received: from localhost (unknown [192.168.5.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id ACCBEBB81D; Tue, 3 Oct 2006 01:04:37 +0200 (CEST) X-Virus-Scanned: amavisd-new at spam.fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([192.168.5.5]) by localhost (spam.fmf.uni-lj.si [192.168.5.1]) (amavisd-new, port 10024) with ESMTP id 8qRDo2RQoRSk; Tue, 3 Oct 2006 01:05:15 +0200 (CEST) Received: from [192.168.1.100] (BSN-77-186-71.dsl.siol.net [193.77.186.71]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 38AD7B843D; Tue, 3 Oct 2006 01:04:37 +0200 (CEST) Message-ID: <45219B07.60608@fmf.uni-lj.si> Date: Tue, 03 Oct 2006 01:04:39 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 1.5.0.5 (X11/20060812) MIME-Version: 1.0 To: Diego Olivier FERNANDEZ PONS , caml-list@inria.fr Subject: Re: [Caml-list] More problems with memoization References: <20060930200125.bjpzgnh7kkkogkgk@webmail.etu.upmc.fr> <200610010123.48846.jon@ffconsultancy.com> <20061002172902.93z4c75nj4c8c884@webmail.etu.upmc.fr> <45219A06.6080909@fmf.uni-lj.si> In-Reply-To: <45219A06.6080909@fmf.uni-lj.si> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45219B05.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; andrej:01 andrej:01 memoization:01 fib:01 fib:01 fib':01 fib':01 wrote:01 rec:01 rec:01 caml-list:01 let:03 let:03 missing:06 function:08 Andrej Bauer wrote: > let fib, fib_mem = > let fib' self = function > | 0 -> 0 > | 1 -> 1 > | n -> self (n - 1) + self (n - 2) > in > make_rec fib', make_mem fib I apologize, the last line should read make_rec fib', make_mem fib' An apostrophe is missing. Andrej