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=AWL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id DCDD2BC6C for ; Mon, 28 Jan 2008 21:48:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4HAIvOnUfUnw6GgGdsb2JhbACCNo1zAQEJCiIHmxQ X-IronPort-AV: E=Sophos;i="4.25,262,1199660400"; d="scan'208";a="8466205" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 21:48:44 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0SKmh00007073 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 28 Jan 2008 21:48:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4HAIvOnUfUnw6GgGdsb2JhbACCNo1zAQEJCiIHmxQ X-IronPort-AV: E=Sophos;i="4.25,262,1199660400"; d="scan'208";a="8466202" Received: from pih-relay08.plus.net ([212.159.14.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 21:48:43 +0100 Received: from [80.229.56.224] (helo=beast.local) by pih-relay08.plus.net with esmtp (Exim) id 1JJauC-00072Q-L6; Mon, 28 Jan 2008 20:48:37 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: David Teller Subject: Re: [Caml-list] [OSR] OCaml Standard Recommandation Process Date: Mon, 28 Jan 2008 20:43:07 +0000 User-Agent: KMail/1.9.7 Cc: Brian Hurt , caml-list@inria.fr References: <1201440183.6302.27.camel@Blefuscu> <479E04E6.5000303@janestcapital.com> <1201541440.6747.68.camel@Blefuscu> In-Reply-To: <1201541440.6747.68.camel@Blefuscu> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200801282043.07977.jon@ffconsultancy.com> X-Plusnet-Relay: e16a8678c3a71cfaac92af0c51a46e9d X-Miltered: at discorde with ID 479E3FAB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 monads:01 camlp:01 combinators:01 ocaml:01 stdlib:01 wiki:01 'try:98 frog:98 wrote:01 syntactic:01 caml-list:01 suggesting:02 hierarchy:03 let:03 On Monday 28 January 2008 17:30:40 David Teller wrote: > A few things here: > * we can provide two libraries, one with monads and one without, and let > users choose whichever they use Why not provide both? After all, people are suggesting pulling in lots of esoteric libraries like Extlib... > * it's quite easy to build a generic resource-disposal facility on par > with 'use' or 'try...finally...', even without resorting to Camlp4 -- I > leave that as an exercise to the reader or to the time when we decide to > start an OSR thread on that issue Combinators are certainly better than nothing and easier to implement (because they don't touch the language) but they can't compete with syntactic sugar for brevity and clarity, of course. > * in any case, there's no need to change OCaml itself to do any of > these, or even to add a IDisposable interface and an object-oriented > hierarchy, only the distribution. This should be in the stdlib (I don't know if that counts as "changing OCaml"). > Let me remind you that the initial topic of the thread was to agree upon > a discussion process, not to debate on a specific issue. Agreed. We need a more appropriate forum. I think a Wiki would be a great breeding ground for proposals. > So do we agree on the OSR process as I've described it or does anyone > believe we should first change it ? I believe it is a good idea, yes. :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e