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 BDDB1BC6B for ; Wed, 27 Jun 2007 19:16:47 +0200 (CEST) Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5RHGlXt010496 for ; Wed, 27 Jun 2007 19:16:47 +0200 Received: from kerneis.info (kerneis.info [82.224.215.18]) by smtp4-g19.free.fr (Postfix) with ESMTP id 4728E6F116 for ; Wed, 27 Jun 2007 19:16:47 +0200 (CEST) Received: from localhost ([127.0.0.1] helo=kerneis.info ident=gabriel) by kerneis.info with esmtp (Exim 4.63) (envelope-from ) id 1I3b8D-0001cC-Pf for caml-list@yquem.inria.fr; Wed, 27 Jun 2007 19:16:41 +0200 Date: Wed, 27 Jun 2007 19:16:33 +0200 From: Gabriel Kerneis To: caml-list@yquem.inria.fr Subject: Book about functional design patterns Message-ID: <20070627191633.73ab011a@kerneis.info> In-Reply-To: References: <200706271314.35134.jon@ffconsultancy.com> <1A1D6F56-B3DB-4552-969C-9859482175AC@lrde.epita.fr> <46826C69.5060802@functionality.de> X-Mailer: Sylpheed-Claws 2.6.0 (GTK+ 2.8.20; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_nO83tg4Dfd1t.r=LEZEwhSR"; protocol="application/pgp-signature"; micalg=PGP-SHA1 X-Miltered: at discorde with ID 46829B7F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 lrde:01 computations:01 amortized:01 garbage:01 lazy:02 lazy:02 data:02 data:02 purely:02 structures:02 structures:02 functional:02 functional:02 optimization:03 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" --Sig_nO83tg4Dfd1t.r=LEZEwhSR Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Le Wed, 27 Jun 2007 17:06:51 +0200, Qu=F4c Peyrot a =E9crit : > It has been said multiple times on this =20 > mailing list, but I think we really miss a book about these design =20 > patterns and optimization tricks often specific to a given (or a set =20 > of) feature (functional, lazy computations, garbage collector...). _Purely functional data structures_ by Chris Osaki might interest you. It's a very good book, covering lazy evaluation and persistent amortized data structures (among other things). Moreover, it does insist on optimizations (often left as exercises to the reader, with enough hints to be easy to figure out). Regards, --=20 Gabriel --Sig_nO83tg4Dfd1t.r=LEZEwhSR Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGgpt46a2JmXQu5bYRAgHAAKDP0PURK4lFD3PolKWILycjxw3QPACeJkQ0 Ai4qwVSQHGGc4J0fu9TMzRg= =IfaP -----END PGP SIGNATURE----- --Sig_nO83tg4Dfd1t.r=LEZEwhSR--