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=AWL 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 6B01CBBC1 for ; Wed, 23 Apr 2008 19:53:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgABAFwUD0jUnw6Fb2dsb2JhbACCMI8jAQwFAgUHGJtI X-IronPort-AV: E=Sophos;i="4.25,700,1199660400"; d="scan'208";a="11844731" Received: from pih-relay06.plus.net ([212.159.14.133]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 19:53:33 +0200 Received: from [80.229.56.224] (helo=beast.local) by pih-relay06.plus.net with esmtp (Exim) id 1Joj9u-0003ci-Kh for caml-list@yquem.inria.fr; Wed, 23 Apr 2008 18:53:30 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] How to make a value uncomparable Date: Wed, 23 Apr 2008 18:46:40 +0100 User-Agent: KMail/1.9.9 References: <480F3E52.60300@exalead.com> <480F689A.6020101@univ-savoie.fr> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200804231846.40127.jon@ffconsultancy.com> X-Plusnet-Relay: 586736efdf557e3bd09b9b5fd0daf8f1 X-Spam: no; 0.00; berke:01 durak:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 uniqueness:01 pivot:01 sheep:98 shoes:98 sheep:98 flock:98 flock:98 dog:98 On Wednesday 23 April 2008 18:43:18 Berke Durak wrote: > 2008/4/23 Christophe Raffalli : > > > But there's one minor difference: physical equality works on Weak.t but > > > not on > > > functions. > > > > What do you mean: > > I don't know I don't think even uniqueness types can help you there but this tale might at least take your mind off it: A shepherd was looking after his sheep on the side of a deserted road Suddenly a brand new Porsche screeches to a halt. The driver, a young man dressed in an Armani suit, Ray Bans, Tag Heuer watch, White Cerutti shoes, tailor-made mauve shirt, with a Boss tie gets out and says to the shepherd 'If I can guess how many sheep you have, can I keep one?' The shepherd looks at the large flock of sheep and says 'Okay'. The young man connects his laptop to his mobile phone/fax, enters the NASA website, scans the field using his GPS, opens the database linked to 60 Excel tables, filled with logarithms and pivot tables, then prints out a 150 page report on his high tech mini printer. He studies the reports and says to the shepherd 'You have 1586 sheep'. The shepherd replies, "That's correct. You can have the pick of my flock." The young man packs away his equipment, looks at the flock and puts an animal into the boot of the Porsche. As he is about to leave, the Shepherd says, "If I can guess what your profession is will you return the animal to me?' The young man thinks for a minute and says 'Okay'. The shepherd says 'You are a Management Consultant'. The young man says' Correct, how did you know?' The Shepherd replied, 'Simple. First you came here without being invited. Second you charged me a fee for something I already knew. Third, you don't understand anything about my business.' Now, please can I have my dog back?' -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e