From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
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 q258tPFQ015725
	for <caml-list@sympa-roc.inria.fr>; Mon, 5 Mar 2012 09:55:25 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuEBAEx+VE9KfVK2kGdsb2JhbABDFoUrrwoIIgEBAQEJCQ0HFAQjgX0BAQECAQESAg8dARsdAQMMBgULDwImAgIfAgIRAQUBHAYTIodgBQQHohgKiyZMgnF4g08/gQwBBQuBJId+hhqBFgSNGIglAYcbhAKDFz2EBQ
X-IronPort-AV: E=Sophos;i="4.73,533,1325458800"; 
   d="scan'208";a="147532628"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Mar 2012 09:55:24 +0100
Received: by mail-we0-f182.google.com with SMTP id l4so3944706wer.27
        for <caml-list@inria.fr>; Mon, 05 Mar 2012 00:55:24 -0800 (PST)
Received-SPF: pass (google.com: domain of sedrikov@gmail.com designates 10.216.135.20 as permitted sender) client-ip=10.216.135.20;
Authentication-Results: mr.google.com; spf=pass (google.com: domain of sedrikov@gmail.com designates 10.216.135.20 as permitted sender) smtp.mail=sedrikov@gmail.com; dkim=pass header.i=sedrikov@gmail.com
Received: from mr.google.com ([10.216.135.20])
        by 10.216.135.20 with SMTP id t20mr3250847wei.99.1330937724668 (num_hops = 1);
        Mon, 05 Mar 2012 00:55:24 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:cc:subject:message-id:in-reply-to:references:x-mailer
         :mime-version:content-type:content-transfer-encoding;
        bh=Emzmj8HBayIYpLurtKe/5aGIHH0zIJmhsm7x8E/QTrs=;
        b=fikIKnb0WJyn9eIdSlUBMI7GjWoCRBGqJCQN42vQRYyFMHhSVIqJGHkULnglrzGGCt
         /pLE8Pab55uEZvMHpFrAqpBh4NeXzYnAhPX7pxod4bBqU89xYwzqiTCz1MaNV+4oelw9
         YFo/lUUt4MriidLG7DJjCgEbsUU1DU73xNfkpo/62vkt7uunil82IK0uGoyzn+ACbs98
         wLIY9SLzp7icw/Q/IFu8xRGJ3S5yi9vBLrKAs2yNpRzqQQwnSlgwuPzlTj5XS9FvcQAe
         6iJ09ol+tOYeMTNt5RGoH4Ua4MltD8Wci5coyhYLk8tPFfskCvuF6msdu9FMPyy6CZic
         7OSg==
Received: by 10.216.135.20 with SMTP id t20mr2637872wei.99.1330937724607;
        Mon, 05 Mar 2012 00:55:24 -0800 (PST)
Received: from localhost.localdomain (AMontsouris-651-1-190-125.w82-123.abo.wanadoo.fr. [82.123.189.125])
        by mx.google.com with ESMTPS id k6sm19487431wiy.7.2012.03.05.00.55.23
        (version=SSLv3 cipher=OTHER);
        Mon, 05 Mar 2012 00:55:24 -0800 (PST)
Date: Mon, 5 Mar 2012 09:57:24 +0100
From: AUGER =?UTF-8?B?Q8OpZHJpYw==?= <sedrikov@gmail.com>
To: Milan =?UTF-8?B?U3Rhbm9qZXZpxIc=?= <milanst@gmail.com>
Cc: Abdallah Saffidine <abdallah.saffidine@gmail.com>, caml-list@inria.fr
Message-ID: <20120305095724.27d4f82c@gmail.com>
In-Reply-To: <CAKR7PS-5jnXevx6uwJyy2bpgsk0kv=NLEPNjB1DdTAL4c5iH=Q@mail.gmail.com>
References: <20120227143809.GC2778@siouxsie>
	<20120228134649.33962978@gmail.com>
	<CALx9x4efvL92gkuBFdPndz6cNEXuRb8-rG++ng4xLOCrUVJrTA@mail.gmail.com>
	<CAKR7PS-5jnXevx6uwJyy2bpgsk0kv=NLEPNjB1DdTAL4c5iH=Q@mail.gmail.com>
X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; i686-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q258tPFQ015725
X-Validation-by: sedrikov@gmail.com
Subject: Re: [Caml-list] "Modules Matter Most"

Le Sun, 4 Mar 2012 21:25:21 -0500,
Milan Stanojević <milanst@gmail.com> a écrit :

> > I guess you might be interested in the following article ML Modules
> > and Haskell Type Classes: A Constructive Comparison
> 
> free version:
> http://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf

Thanks, although in fact I already read it (it was on the basis of that
article, that I sent my previous post).