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.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 1DCB0BBC4 for ; Tue, 14 Apr 2009 18:00:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUCAFdQ5EnD7gavkWdsb2JhbACBUpQ9AQEBAQkLCgcRA7oig3wG X-IronPort-AV: E=Sophos;i="4.40,186,1238968800"; d="scan'208";a="26232763" Received: from mailrelay002.isp.belgacom.be ([195.238.6.175]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Apr 2009 18:00:06 +0200 X-Belgacom-Dynamic: yes X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwGAOxP5ElR8WUC/2dsb2JhbACBUs8Ng3wG Received: from 2.101-241-81.adsl-dyn.isp.belgacom.be (HELO poincare.swapping.umh.ac.be) ([81.241.101.2]) by relay.skynet.be with ESMTP; 14 Apr 2009 18:00:03 +0200 Received: from localhost ([127.0.0.1] ident=trch) by poincare.swapping.umh.ac.be with esmtp (Exim 4.69) (envelope-from ) id 1Ltl3L-0005I2-1C; Tue, 14 Apr 2009 18:00:03 +0200 Date: Tue, 14 Apr 2009 18:00:02 +0200 (CEST) Message-Id: <20090414.180002.1031635372486642254.Christophe.Troestler+ocaml@umons.ac.be> To: padator@wanadoo.fr Cc: OCaml Mailing List Subject: Re: [Caml-list] pattern matching and records vs tuples From: Christophe TROESTLER In-Reply-To: <87skkbuxx8.fsf@aryx.cs.uiuc.edu> References: <87skkbuxx8.fsf@aryx.cs.uiuc.edu> X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:}8v|j Organization: University of Mons X-Mailer: Mew version 6.2.51 on Emacs 22.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 compiler:01 compiler:01 ocaml:01 node:01 cheers:01 2009:98 wrote:01 caml-list:01 tuples:01 tuples:01 On Tue, 14 Apr 2009 09:12:19 -0500, Yoann Padioleau wrote: > > I've found that while records provide advantages over tuples, > they also have disadvantages when it comes to evolution issues. > If I decide to evolve code using a tuple type, for instance adding > new information and so extend a 4-uple in a 5-uple, then the compiler > will tell me all the places that I need to update, which is good. > If I use records instead, and have 4 fields, and I want to add again > some new information in a new field, then the way the compiler works > right now will not help me at all. See http://ocaml.janestreet.com/?q=node/31 Cheers, ChriS