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=none autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 497B8BC0B for ; Fri, 29 Dec 2006 12:15:16 +0100 (CET) Received: from oden.vtab.com (dns.vtab.com [62.20.90.195]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBTBFEAU007022 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 29 Dec 2006 12:15:15 +0100 Received: from oden.vtab.com (oden.vtab.com [127.0.0.1]) by oden.vtab.com (Postfix) with ESMTP id 1CE7F26EEBE; Fri, 29 Dec 2006 12:15:10 +0100 (CET) Received: from virtutech.se (alfredo.hq.vtech [10.0.0.52]) by oden.vtab.com (Postfix) with ESMTP id F01CD26EEB9; Fri, 29 Dec 2006 12:15:09 +0100 (CET) Received: (from mattias@localhost) by virtutech.se (8.11.6/8.11.6) id kBTBF9E26561; Fri, 29 Dec 2006 12:15:09 +0100 Date: Fri, 29 Dec 2006 12:15:09 +0100 Message-Id: <200612291115.kBTBF9E26561@virtutech.se> From: "=?iso-8859-1?q?Mattias_Engdeg=E5rd?=" To: garrigue@math.nagoya-u.ac.jp Cc: skaller@users.sourceforge.net, caml-list@yquem.inria.fr In-reply-to: <20061229.150507.32045202.garrigue@math.nagoya-u.ac.jp> (message from Jacques Garrigue on Fri, 29 Dec 2006 15:05:07 +0900 (JST)) Subject: Re: [Caml-list] Question on writing efficient Ocaml. Content-Type: text/plain; charset=iso-8859-1 References: <200612281626.38328.jon@ffconsultancy.com> <1167326001.5338.0.camel@rosella.wigram> <20061229.150507.32045202.garrigue@math.nagoya-u.ac.jp> X-Virus-Scanned: ClamAV using ClamSMTP X-j-chkmail-Score: MSGID : 4594F8C2.002 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 4594F8C2.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mattias:01 mattias:01 ocaml:01 ocaml:01 innocent:98 constructor:01 caml-list:01 explicitly:01 binary:01 int:01 int:01 argument:02 float:03 efficient:07 quite:07 >In general, I wouldn't explicitly advise against using single >constructor type definitions for documentation, except when the >argument is a single int or float and performance matters. Is there a reason for this? To my innocent eyes, code like type length = Length of int looks quite reasonable and could be useful at times. If binary compatibility with old OCaml releases would be the reason, is there a policy stating when such ABI details can be changed?