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.3 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 2B152BC0B for ; Tue, 16 Jan 2007 21:06:18 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0GK6Haq011819 for ; Tue, 16 Jan 2007 21:06:17 +0100 Received: by ug-out-1314.google.com with SMTP id q2so1932879uge for ; Tue, 16 Jan 2007 12:06:15 -0800 (PST) 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=AbC78Xge2WBAnHK/HIZvLdgoCrMINMVSyEuq6rN2ccxPhMPEPmI7SOl6Z36+CB9wxUbtTKifmrO1iu0/GG3FN3/XZSqhv6Jxa8kduLjWvnwaowLY8ew9SNjt7FxYF/hS2Evg3Px33DZuVpar+tNhC4b5YoT4Nrl7DVWb2ojCHsY= Received: by 10.78.171.13 with SMTP id t13mr3658897hue.1168977973573; Tue, 16 Jan 2007 12:06:13 -0800 (PST) Received: by 10.78.159.17 with HTTP; Tue, 16 Jan 2007 12:06:13 -0800 (PST) Message-ID: Date: Wed, 17 Jan 2007 09:06:13 +1300 From: "Jonathan Roewen" To: "Edgar Friendly" Subject: Re: [Caml-list] Ocaml compiler features Cc: "Christophe TROESTLER" , caml-list@yquem.inria.fr In-Reply-To: <45AD10BF.60606@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <45A87011.8080203@gmail.com> <20070115103556.GB12311@furbychan.cocan.org> <45AC60CB.4070408@gmail.com> <20070116.065515.246091320.Christophe.Troestler@umh.ac.be> <45AD10BF.60606@gmail.com> X-j-chkmail-Score: MSGID : 45AD3039.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45AD3039.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 compiler:01 ocaml:01 parens:01 stone:98 caml-list:01 tuples:01 parentheses:01 constructing:04 problem:05 anyway:06 written:07 optional:09 mostly:10 returns:11 > 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. OCaml is mostly fine syntactically, and 'if' isn't a problem. If you don't like using parentheses, use begin/end. Personally, I prefer begin/end anyway. Jonathan