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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 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 B8CD4BC6B for ; Wed, 4 Apr 2007 15:49:55 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l34DnsXk014247 for ; Wed, 4 Apr 2007 15:49:55 +0200 Received: by ug-out-1314.google.com with SMTP id q2so743244uge for ; Wed, 04 Apr 2007 06:49:54 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=rsAJ/DHIQwUj/jA8ADmtWhWrCKAOj25tj1V9xpehW82sx6i3V+p+SSQ4953RKN2FGKuG+qGRYG4xR30Afhnhfg1aknTH6GYIhZ4o86D8Pd5uWMonhGRPRouGocFx0VR0vvwsjSI4dr4g1qJuY3uUL/9rfdI+jxw2Wa5r2liMdzg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=TqHrjRkb+HLcSWNh6tNbvh805URcRAsqUblSm3X3X4QN+DAhIGc4qkPdkwXS0NPGgkLH97Hh9MK8ojfABS44tM5EJvOZWH/8fUacL7m+sHGWEJ4CIaL7zh2CBKnmGy4eZbq296P/SIUQyYSMV2m+OJLVq/NbOJAGfG5nH9WTvSA= Received: by 10.114.179.1 with SMTP id b1mr263461waf.1175694589349; Wed, 04 Apr 2007 06:49:49 -0700 (PDT) Received: by 10.114.66.7 with HTTP; Wed, 4 Apr 2007 06:49:49 -0700 (PDT) Message-ID: Date: Wed, 4 Apr 2007 15:49:49 +0200 From: "Roland Zumkeller" To: "Loup Vaillant" Subject: Re: [Caml-list] Polymorphic recursion Cc: caml-list@yquem.inria.fr In-Reply-To: <6f9f8f4a0704030959l8ebb155g8532e3ee6d31c66d@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <6f9f8f4a0704030959l8ebb155g8532e3ee6d31c66d@mail.gmail.com> X-j-chkmail-Score: MSGID : 4613AD02.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4613AD02.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; recursion:01 recursive:01 ocaml:01 -rectypes:01 lix:01 polymorphic:01 wrote:01 caml-list:01 uniform:04 implement:06 function:08 actually:10 example:10 roland:85 roland:85 On 03/04/07, Loup Vaillant wrote: > Can't we implement non uniform recursive function (efficiently, or at all)?. It has actually been done: call ocaml with the option "-rectypes" and your example will work as is. Best, Roland -- http://www.lix.polytechnique.fr/~zumkeller/