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 q1SJgnPM022119 for ; Tue, 28 Feb 2012 20:42:51 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4BAD8tTU/RVda2kGdsb2JhbABDhSeuJQgiAQEBAQkJDQcUBCOBdwEBAQMBEgIPHQEbHQEDDAYFBAEGNwICIQEBEQEFARwGEyKHYQULmzkKiyZMgnGFLz+IdAEFC4kOg3UCbwECAQIGAwKETw0SDEkBBQMBBAEGBAYEAQkIBIIWgRYEiE+McIcYhAGDFz2EIw X-IronPort-AV: E=Sophos;i="4.73,497,1325458800"; d="scan'208";a="146517772" Received: from mail-tul01m020-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Feb 2012 20:42:51 +0100 Received: by obbwc7 with SMTP id wc7so3654611obb.27 for ; Tue, 28 Feb 2012 11:42:50 -0800 (PST) Received-SPF: pass (google.com: domain of abdallah.saffidine@gmail.com designates 10.182.136.10 as permitted sender) client-ip=10.182.136.10; Authentication-Results: mr.google.com; spf=pass (google.com: domain of abdallah.saffidine@gmail.com designates 10.182.136.10 as permitted sender) smtp.mail=abdallah.saffidine@gmail.com; dkim=pass header.i=abdallah.saffidine@gmail.com Received: from mr.google.com ([10.182.136.10]) by 10.182.136.10 with SMTP id pw10mr7316199obb.73.1330458170262 (num_hops = 1); Tue, 28 Feb 2012 11:42:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=TgAvz6htEYxxjnaoCDIKysRdutIS5fiwJ9FFcrViGlE=; b=W0shsUh0bS4JZzmu1JUNunUOzdUpnNdqMpcihyazYjHsejE8RTLGs5ZWNRrznzJopH BnIqi6qc5FYPAMn2Fs/XDAUzYw8vei5Jq+Gn4pQy4gzZrldtTtXBHzQDXBev67oHJEHj ZV+bs/GUQfDNuhYHnVQxqP1GRsCsVOBf/p4TM= Received: by 10.182.136.10 with SMTP id pw10mr6392374obb.73.1330458170143; Tue, 28 Feb 2012 11:42:50 -0800 (PST) MIME-Version: 1.0 Received: by 10.182.42.5 with HTTP; Tue, 28 Feb 2012 11:42:30 -0800 (PST) In-Reply-To: <20120228134649.33962978@gmail.com> References: <20120227143809.GC2778@siouxsie> <20120228134649.33962978@gmail.com> From: Abdallah Saffidine Date: Tue, 28 Feb 2012 12:42:30 -0700 Message-ID: To: =?UTF-8?Q?AUGER_C=C3=A9dric?= Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=e89a8f64697f9eb2bc04ba0b6e10 X-Validation-by: abdallah.saffidine@gmail.com Subject: Re: [Caml-list] "Modules Matter Most" --e89a8f64697f9eb2bc04ba0b6e10 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2012/2/28 AUGER C=C3=A9dric > > I find the posts on this blogs too much Ocaml biased. Ok, haskell has > not modules and it is somewhat missing, but using TypeFamilies, you can > emulate modules (and even 1=EF=AC=86 order modules which are available in= Ocaml > only since 3.11 or 3.12), and in the other hand there is still not yet > any convenient way to have type classes in Ocaml. And it is not very > often that I would like to implement a module where a simple type class > wouldn't fit. > > Are type classes planned in the future (and if not, what are the > reasons not to have it)?. > I guess you might be interested in the following article ML Modules and Haskell Type Classes: A Constructive Comparison Abdallah --e89a8f64697f9eb2bc04ba0b6e10 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2012/2/28 AUGER C=C3=A9dric <sedrikov@gmail.com>

I find the posts on this blogs too much Ocaml biased. Ok, haskell has not modules and it is somewhat missing, but using TypeFamilies, you can
emulate modules (and even 1=EF=AC=86 order modules which are available in O= caml
only since 3.11 or 3.12), and in the other hand there is still not yet
any convenient way to have type classes in Ocaml. And it is not very
often that I would like to implement a module where a simple type class
wouldn't fit.

Are type classes planned in the future (and if not, what are the
reasons not to have it)?.

I guess you might be int= erested in the following article ML Modules and Haskell Type Classes: A Constructive= Comparison
=C2=A0
Abdallah
--e89a8f64697f9eb2bc04ba0b6e10--