From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0LCUAdD011951 for ; Fri, 21 Jan 2011 13:30:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4BAI8LOU1KfVK2kGdsb2JhbACWSI4UCBUBAQEBCQkMBxEEIKRejBIBBYRgiQYBBIVQiyOJSw X-IronPort-AV: E=Sophos;i="4.60,357,1291590000"; d="scan'208";a="87658494" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 21 Jan 2011 13:30:05 +0100 Received: by wyf19 with SMTP id 19so1720144wyf.27 for ; Fri, 21 Jan 2011 04:30:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=B7H4gqeukgYGNKmDJcfsmFW7i4sSIzlc8cf97oXX6LQ=; b=RR51Gm2nukRVZXH0n/Yx8yEzHdQ+rgOYSWZ+ovTKeUt8NN63Uyns5H5qhO+0v109/q sOLRioxQR4idJI668nVBbsaK09VE4W5UEVlPW5iKBTZx3LyNpVmT5cGgvf6EiBUq0YRq avcDSD5waph1G4qiFjubgONgboRDIrmDrv+Xk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; b=Qwf0krOyxpYwKLUkfbd1koUFTKm1Y08aiT4nvEu9DY0uM6QyDE1zspfRj+bvYQbKqf MqoYSHHK69W0b401HeQ8T2shbB8bQBgUSWdgqMqI520CA3U3cm/AAN1iUeWZxB9SdiTC zAs+VjxFYSpq8GSq/+IlzC366mKdJGzExC0qc= MIME-Version: 1.0 Received: by 10.216.165.85 with SMTP id d63mr558282wel.12.1295613004729; Fri, 21 Jan 2011 04:30:04 -0800 (PST) Sender: jamiiecb@googlemail.com Received: by 10.216.52.211 with HTTP; Fri, 21 Jan 2011 04:30:04 -0800 (PST) In-Reply-To: <4D38791B.5070707@lexifi.com> References: <20110119123335.GL323@melkinpaasi.cs.helsinki.fi> <4D38791B.5070707@lexifi.com> Date: Fri, 21 Jan 2011 12:30:04 +0000 X-Google-Sender-Auth: z74QoGo0o8sIfc_HJJtWQ3FXRtU Message-ID: From: Jamie Brandon To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Limitations of first-class modules > There is a branch fstclassmod_parametrized in the SVN which allows more > kinds of constraints; in particular, it allows constraints on parametrized > types (module A with type 'a t1 = T1) ... > This extension does not seem very useful to me in practice (because there is > no polymorphism on type constructors in OCaml). I was trying to do exactly that last week: http://zheng.li/buzzlogs-ocaml/2011/01/13/irc.html It allows working with abstract collections without using functors, which is fairly useful.