From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 659D5BBAF
	for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 14:57:04 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av4BAHM7YkxKfVIukGdsb2JhbACUPotdCBUBAQEBCQkMBxEDH6BPiyEBBY8lAQSFOg
X-IronPort-AV: E=Sophos;i="4.55,352,1278280800"; 
   d="scan'208";a="67497886"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 11 Aug 2010 14:56:55 +0200
Received: by wwb18 with SMTP id 18so49283wwb.3
        for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 05:56:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=ejRtArmQP6JmnfB2Y7Jml9qB7/Sm8C9/qSIRohCD9pM=;
        b=Ctb5efmZ9qWCaDs2LNd22pgFbek4f7vNc3SGwWgx1PZyI7bWxiJ108ysS/DowuMWYQ
         V3AVCtxa/sHnM4zvDdNxlKwGXmInU7ojDeeX+yVEaUglDMkaAfyoVk28CZZ60D8Y0mIz
         U3VvNH34/sRmalqUnFoM56z8sZMQ1nfJFITHg=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:references:in-reply-to:subject:date:organization:message-id
         :mime-version:content-type:content-transfer-encoding:x-mailer
         :thread-index:content-language;
        b=iGNV63BW7LC17X3sQn+e1oEc2oRxvs9Q9uI7iVS4stFNkQOn7a6OgTD4k9EUuvPASu
         5A99d0QHyhP9Jr4/fMj68G7/qIe1pcYn/NcI7jcL3x9yLq3CvsPHNKhq/jopePY8AHJj
         ZWArYQlGwKZL+5uB0vS1nsoUIq8uSVUZrh4oE=
Received: by 10.227.68.145 with SMTP id v17mr16664663wbi.159.1281531415144;
        Wed, 11 Aug 2010 05:56:55 -0700 (PDT)
Received: from WinEight ([87.113.155.108])
        by mx.google.com with ESMTPS id u32sm53938weq.11.2010.08.11.05.56.52
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 11 Aug 2010 05:56:53 -0700 (PDT)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Jeremy Bem'" <jeremy1@gmail.com>,
	"'caml-list List'" <caml-list@yquem.inria.fr>
References: <AANLkTi=UuefVu9CmwwomimGzMqFrks5SZ+227Znv5r+z@mail.gmail.com>	<877hk1m1df.fsf@mid.deneb.enyo.de> <AANLkTi=L07p_xN7DCZQn0j+iy=-_7FzCrTm6KOf6oaJU@mail.gmail.com>
In-Reply-To: <AANLkTi=L07p_xN7DCZQn0j+iy=-_7FzCrTm6KOf6oaJU@mail.gmail.com>
Subject: RE: [Caml-list] interest in a much simpler, but modern, Caml?
Date: Wed, 11 Aug 2010 13:56:26 +0100
Organization: Flying Frog Consultancy
Message-ID: <03f901cb3954$9d052fb0$d70f8f10$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: Acs3Kb+587SLA7zMREyp7Hec3qXkFwCKqOUg
Content-Language: en-gb
X-Spam: no; 0.00; ocaml's:01 hashing:01 cheers:01 equality:01 equality:01 polymorphic:01 polymorphic:01 caml-list:01 caml:02 types:05 types:05 comparison:05 simpler:05 simpler:05 uses:07 

> Is there a better approach to polymorphic equality floating around?

SML's equality types are simpler than type classes and more robust than
OCaml's polymorphic equality (and comparison, and hashing). F# uses equality
types.

Cheers,
Jon.