From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA19634; Sat, 21 Apr 2001 19:04:46 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA19383 for ; Sat, 21 Apr 2001 19:04:46 +0200 (MET DST) Received: from mail.mimuw.edu.pl (pn66.warszawa.cvx.ppp.tpnet.pl [213.76.109.66]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3LH4gv17429 for ; Sat, 21 Apr 2001 19:04:43 +0200 (MET DST) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id NAA06643 for caml-list@inria.fr; Sat, 21 Apr 2001 13:32:08 +0200 X-Authentication-Warning: qrnik.zagroda: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: [Caml-list] equality over functional value Date: 21 Apr 2001 11:32:05 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 987852725 6630 192.168.0.1 (21 Apr 2001 11:32:05 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 21 Apr 2001 11:32:05 GMT User-Agent: slrn/0.9.6.3 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Fri, 20 Apr 2001 23:23:26 +0200 (MET DST), Alain Frisch pisze: > While we are about it, what is the reason for disallowing structural > comparison over functional values (that is, comparing for instance the > code address, then the environment) ? It would say that (fun x -> x+1) is not equal to (fun x -> x+1). Or maybe that it is, depending on how smart the compiler is. And it's impossible to say whether (fun () -> 1+2) is equal to (fun () -> 2+1). Embedding pointer equality of immutable values into value equality doesn't have a sane meaning. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr