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 2497EBBAF for ; Mon, 15 Feb 2010 17:17:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhIBANMBeUvUnwcjkGdsb2JhbACbGhUBAQEBCQkMBxMEH70lhFsE X-IronPort-AV: E=Sophos;i="4.49,478,1262559600"; d="scan'208";a="52781416" Received: from relay.ptn-ipout01.plus.net ([212.159.7.35]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Feb 2010 17:17:52 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAEsCeUtUXebi/2dsb2JhbACbGnS9J4RbBA Received: from relay03.plus.net ([84.93.230.226]) by relay.ptn-ipout01.plus.net with ESMTP; 15 Feb 2010 16:17:52 +0000 Received: from [87.114.12.249] (helo=leper.local) by relay03.plus.net with esmtp (Exim) id 1Nh3dv-0001KG-Pf for caml-list@yquem.inria.fr; Mon, 15 Feb 2010 16:17:51 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: The need to specify 'rec' in a recursive function defintion Date: Mon, 15 Feb 2010 17:33:37 +0000 User-Agent: KMail/1.9.9 References: <1e7471d51002091250of7a686fq537a03c9401c868f@mail.gmail.com> <9d3ec8301002101425k356b92e0p6ca2690d8cd6399d@mail.gmail.com> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201002151733.37298.jon@ffconsultancy.com> X-Plusnet-Relay: f0bb188d50ad29d38a01093c3fe96d54 X-Spam: no; 0.00; recursive:01 defintion:01 extensively:01 frog:98 sml:01 wrote:01 rec:01 rec:01 incompatible:01 caml-list:01 specify:06 standard:07 written:07 disagree:08 function:08 On Monday 15 February 2010 15:46:58 Stefan Monnier wrote: > Till Varoquaux had written: > > Let's make things clear here: the "rec" *really* is a feature; > > Nobody said otherwise. Eliminating the "rec" is also a feature. > Those two features are mostly incompatible, and many reasonable people > disagree on which one of the two is more important. > > Stefan "who extensively used that feature in SML, but happens > to prefer the other feature nevertheless" Standard ML doesn't have the feature that Till described. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e