From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.1 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 CB421BC0B
	for <caml-list@yquem.inria.fr>; Tue, 16 Jan 2007 18:52:03 +0100 (CET)
Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.239])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0GHq2p3018352
	for <caml-list@yquem.inria.fr>; Tue, 16 Jan 2007 18:52:03 +0100
Received: by wx-out-0506.google.com with SMTP id i26so2206469wxd
        for <caml-list@yquem.inria.fr>; Tue, 16 Jan 2007 09:52:02 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding;
        b=KXGrt58ARrzdIG7uMRQPfFr+faSyw5IX7A/JPUuJd6v4Onf28TGE92duZrHPzApKGuavlcTxPJmmg9KBgM6GliZXit9nmwGUMcpNeuoaDhHC2iVQuF50pSuQ4GksiEdKAYU2ypjB/bmg8Ym04JO1gfiHt8aVrnXsVZrre3IxSn8=
Received: by 10.90.100.2 with SMTP id x2mr4829350agb.1168969922255;
        Tue, 16 Jan 2007 09:52:02 -0800 (PST)
Received: from ?192.168.0.18? ( [69.155.31.57])
        by mx.google.com with ESMTP id c5sm8508101qbc.2007.01.16.09.52.00;
        Tue, 16 Jan 2007 09:52:01 -0800 (PST)
Message-ID: <45AD10BF.60606@gmail.com>
Date: Tue, 16 Jan 2007 11:51:59 -0600
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Thunderbird 1.5.0.9 (X11/20061206)
MIME-Version: 1.0
To: Christophe TROESTLER <Christophe.Troestler@umh.ac.be>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Ocaml compiler features
References: <45A87011.8080203@gmail.com>	<20070115103556.GB12311@furbychan.cocan.org>	<45AC60CB.4070408@gmail.com> <20070116.065515.246091320.Christophe.Troestler@umh.ac.be>
In-Reply-To: <20070116.065515.246091320.Christophe.Troestler@umh.ac.be>
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 7bit
X-j-chkmail-Score: MSGID : 45AD10C2.002 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 45AD10C2.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; ocaml:01 compiler:01 christophe:01 troestler:01 ocaml:01 parens:01 edgar:98 stone:98 wrote:01 caml-list:01 tuples:01 parentheses:01 constructing:04 anyway:06 written:07 

Christophe TROESTLER wrote:
> Just pretend parentheses are compulsory :).  (What would happen in C
> if we left the braces out anyway!  Go and change C instead, this will
> affect far more people!)

C is interesting because the braces are optional, and people get into
trouble often when they fail to use them.  And many people's solution is
to treat the braces as non-optional.  I don't think this is as
appropriate in ocaml because parens serve a second use: constructing
tuples.  Since if/then returns a value, the difference of ; vs. ,
results in a huge difference in what's going on.

As for changing the C language, 1: it's already written in stone 2: it's
not worth saving, ocaml is.

E.