From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0ACX7oj013590 for ; Mon, 10 Jan 2011 13:33:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsBAFmLKk3B/BfVkWdsb2JhbACkUwEBAgkLCgcRAyG7WIJ1glcEiwqDIA X-IronPort-AV: E=Sophos;i="4.60,300,1291590000"; d="scan'208";a="94921852" Received: from msa04.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.213]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jan 2011 13:33:02 +0100 Received: from [192.168.1.63] ([81.249.115.41]) by mwinf5d16 with ME id toZ11f00G0tfl5M03oZ14Z; Mon, 10 Jan 2011 13:33:02 +0100 Message-ID: <4D2AFC81.6060306@lexifi.com> Date: Mon, 10 Jan 2011 13:33:05 +0100 From: Alain Frisch Organization: LexiFi User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7 MIME-Version: 1.0 To: Lauri Alanko CC: caml-list@inria.fr References: <20110110121325.GH323@melkinpaasi.cs.helsinki.fi> In-Reply-To: <20110110121325.GH323@melkinpaasi.cs.helsinki.fi> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Identity crisis On 01/10/2011 01:13 PM, Lauri Alanko wrote: > And perhaps I will begin to use objects more from now on. I don't like > their complexity, but at least objects know who they are. I've written a blog entry related to these questions a few days ago: http://www.lexifi.com/blog/references-physical-equality In particular, I show an ugly hack to tell OCaml to use physical equality for records (you have to manage explicitly the unique id). -- Alain