From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 05745BBAF for ; Wed, 17 Feb 2010 21:25:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAKbfe0tDww+dkWdsb2JhbACPLIF4eYh7AQEBAQkLCgcTAyCuUoFQhHyIcgEEBAGEWASDFQ X-IronPort-AV: E=Sophos;i="4.49,493,1262559600"; d="scan'208";a="52937093" Received: from web111505.mail.gq1.yahoo.com ([67.195.15.157]) by mail1-smtp-roc.national.inria.fr with SMTP; 17 Feb 2010 21:25:20 +0100 Received: (qmail 2725 invoked by uid 60001); 17 Feb 2010 20:25:17 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1266438316; bh=mHpMNYRBQetH9nWPuhRBOnefQTU9wtLRruvCd8+rMsc=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=M78RaP4JqiVZAqw8wcVGlpmYw8ykxcodA5fFUQdBquSqBUQudvDD38kpyb2W4ejmkP2EHefY5gcdPsJ2Tcsu9h/j/n7TfbOjEZ9+joWLnfFnfgbRh+jEH86ftIhPO7gHg3FlgN6ae1bhz7LCrP2ioL/k2VS4U7QVrtR65bMTLao= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Gf6LesRhfQM2wNeK8DSm7c1uhBaQhf3IiP2pHx20RyR23Eo2FbQn7TNf2bJ3mHs3zOhCy+r2tmP4eDTPIpykElO3P5LP215dbSdGcrY17TZkFhNyORkF2Foyi/vt6ECwh0Ueh5WVu+q1XGJXOkKp4iK0qf+jVvoIQhmksPc4A+g=; Message-ID: <751552.2250.qm@web111505.mail.gq1.yahoo.com> X-YMail-OSG: ocIw17YVM1kOJOBIIsBVcmeqXt7ruNlzrY9w4DGy1MtlySJ f5.SgMDvHbOHyyBQwgYSXrzK0egZpNdm9NEfBpNvmGHOdWwyqicI_18.tomo uwN0RtA03Yn2aABymDHWs4gm8tB6EPVcz17y8IWMN1TwNN0AGM80uekTxSBn ZjTYr8o6hVB6.nRLQBV5z8GjZktAnr0.sKmtrQ53KxCmc2flOsnZzdtabioF mNgnbEUhVEDKFhHIwUSslDJHNYBHQ5AlAYXyzRdmUMPV92meeA8e9biCeTcA ozpPiNv9zOQuLF7seDOWR5I2qCruUGWU- Received: from [213.205.71.54] by web111505.mail.gq1.yahoo.com via HTTP; Wed, 17 Feb 2010 12:25:16 PST X-Mailer: YahooMailClassic/9.2.12 YahooMailWebService/0.8.100.260964 Date: Wed, 17 Feb 2010 12:25:16 -0800 (PST) From: Dario Teixeira Subject: Re: [Caml-list] type generalization of recursive calls To: =?iso-8859-1?Q?St=E9phane_Gimenez?= , The Caml Mailing List , boris@yakobowski.org In-Reply-To: <76c7f53f1002171141y68374f94u11d0ac807ccfee89@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; recursive:01 ocaml:01 ocaml:01 rec:01 caml-list:01 let:03 typo:05 function:08 mean:08 fun:08 curious:09 actually:10 versions:11 type:14 write:17 Hi,=0A=0A> Finally, starting from Ocaml 3.13, you can simply write=0A> =0A>= let rec map : 'a 'b. ('a -> 'b) -> 'a t -> 'b t =3D=0A> fun f -> function= =0A> =A0 | E -> E=0A> =A0 | D (t1, t2) -> D (map f t1, map f t2)=0A> =A0 | = O a -> O (f a)=0A> =A0 | I tt -> I (map (map f) tt)=0A=0AAssuming "3.13" is= not a typo, and that you do not actually mean the=0Aupcoming 3.12, what fe= atures can we expect in future versions of Ocaml?=0A=0AJust curious,=0ADari= o Teixeira=0A=0A=0A=0A