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.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 77EA1BC69 for ; Wed, 5 Dec 2007 11:54:49 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAOgRVkfAXQInh2dsb2JhbACDJYwxAgEICik X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="4914033" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2007 11:54:51 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB5Asemu026873 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 5 Dec 2007 11:54:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAFcSVkdA6aa1kmdsb2JhbACDJYwxAgEBBwIGKQ X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="6496616" Received: from py-out-1112.google.com ([64.233.166.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2007 11:54:48 +0100 Received: by py-out-1112.google.com with SMTP id u52so8576801pyb for ; Wed, 05 Dec 2007 02:54:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=bfn4U1lCmhvOK2YFCAjnrdPwls5yQmLqUyIcwkCyids=; b=GzKMADqV79KnJmlL5Zcx9oBDHQJaXEBbfbFbmlP0UQ15Uxcy/asTr8kWpmpJeleNu1mxsV5ib0mG8Nv0MpFlHScsU9rkaphQFv/g1bUjusIsAvCnl9sSws4iqOJBk1NNN1IUqn64wkijaZy21dqR/k5uyB+sRN9w2rXgdwXCnQk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=fLecnuF76xcu4yshlZU8CL1lGTTizdLqLxeA7KXhBV1BUhW8mFZtUiRBl+YaOaH/HUZSYQPgDTx4yvsWa+hYE3UBruij0JRCX/jeNNuWAR5+7/bEQc51Sg3tkh2ueoaG+19PKIBvo7PRyPVFLTNzjTa/uXMdh+AY6eQS0ooVYkM= Received: by 10.65.212.3 with SMTP id o3mr808921qbq.1196852085982; Wed, 05 Dec 2007 02:54:45 -0800 (PST) Received: by 10.65.232.4 with HTTP; Wed, 5 Dec 2007 02:54:45 -0800 (PST) Message-ID: Date: Wed, 5 Dec 2007 11:54:45 +0100 From: "=?ISO-8859-1?Q?St=E9phane_Lescuyer?=" Sender: steki.kun@gmail.com To: caml-list@inria.fr Subject: Re: [Caml-list] Ocaml code for Okasaki's "Purely Functional Data Structures" In-Reply-To: <20071205215030.28c91898.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20071205215030.28c91898.mle+ocaml@mega-nerd.com> X-Google-Sender-Auth: 0efe20523ed5bc5c X-Miltered: at concorde with ID 47568370.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lri:01 ocaml:01 okasaki's:01 ocaml:01 lri:01 okasaki's:01 markus:01 mottl:01 translated:01 cheers:01 perlis:01 beginner's:01 bug:01 beginners:01 wrote:01 Is this http://www.ocaml.info/ocaml_sources/pure-fun-1.0.6.tar.gz what you are looking for ? Stephane L. -- http://www.lri.fr/~lescuyer On Dec 5, 2007 11:50 AM, Erik de Castro Lopo wrote: > Hi all, > > I'm currently reading Okasaki's book and a bit of googling told me > that Markus Mottl translated the code examples into Ocaml. > > Unfortunately the links to the code are all dead. Does anybody have > this code somewhere or know where it might be available? > > Cheers, > Erik > -- > ----------------------------------------------------------------- > Erik de Castro Lopo > ----------------------------------------------------------------- > "A programming language is low level when its programs require > attention to the irrelevant." -- Alan Perlis > > _______________________________________________ > 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 > -- I'm the kind of guy that until it happens, I won't worry about it. - R.H. RoY05, MVP06