From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 62D677F75C for ; Tue, 26 Aug 2014 16:33:23 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of darioteixeira@yahoo.com designates 98.138.91.122 as permitted sender) identity=mailfrom; client-ip=98.138.91.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm29-vm6.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.122; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm29-vm6.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBAGya/FNiilt6lGdsb2JhbABbDoQpBAiCcK8ih22BLZhqAYESFhABAQEBBwsLCRIrg34GAQQBCxgIFQEXIQEECwYFDgwCJgICLwEOAQYSBi6IEgEBAgkIBKllgXIJgweBfYgUASMDASMDhUERBgwCAYEdjW0zB4J5gVMFiyKRLocoHQcTY4ppc4QDYkyCTwEBAQ X-IPAS-Result: AloBAGya/FNiilt6lGdsb2JhbABbDoQpBAiCcK8ih22BLZhqAYESFhABAQEBBwsLCRIrg34GAQQBCxgIFQEXIQEECwYFDgwCJgICLwEOAQYSBi6IEgEBAgkIBKllgXIJgweBfYgUASMDASMDhUERBgwCAYEdjW0zB4J5gVMFiyKRLocoHQcTY4ppc4QDYkyCTwEBAQ X-IronPort-AV: E=Sophos;i="5.04,405,1406584800"; d="scan'208";a="91532274" Received: from nm29-vm6.bullet.mail.ne1.yahoo.com ([98.138.91.122]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Aug 2014 16:33:03 +0200 Received: from [98.138.100.111] by nm29.bullet.mail.ne1.yahoo.com with NNFMP; 26 Aug 2014 14:33:01 -0000 Received: from [98.138.87.2] by tm100.bullet.mail.ne1.yahoo.com with NNFMP; 26 Aug 2014 14:33:01 -0000 Received: from [127.0.0.1] by omp1002.mail.ne1.yahoo.com with NNFMP; 26 Aug 2014 14:33:01 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 745896.63259.bm@omp1002.mail.ne1.yahoo.com Received: (qmail 36318 invoked by uid 60001); 26 Aug 2014 14:33:01 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1409063581; bh=sVBb5cEs2q/c92eOmN8WetkTEN41S0yfKKpGVoWlLZY=; h=References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=QHW3a8gsWtR1JZzE9mwPr/+lfxLV3OtSxMlOzuX94/FMopfeSDajo4TiBtk5uPwzKeWARXCqePARANiFfW6Uem5f1dLRLKOevJ5ir7+rdPNU19QoYEdflFAhkRi+0tE5grhx6ijKw85U6cnyEcmbBwhDlv+4oSH/hABo3OjG8po= X-YMail-OSG: FjrqOuoVM1kCa9f0ZFumanGQRQXC3XeU4iDBVDto8eaaGHm wLcUkSpGyKWf1zRddne9k4BKYvFonXCh5qerwwmoBoqvLoEVfWEkmkhxJ8Ic Lhtl_MvVo.tn9PvQLQIqF9BIE50SI4uD_rGNkFB0l5GEBeRhrkQVE_yHth.K HuyDHmRhIi7EWXGrhhQ7QLeAvFyaMN5zQf5aXjq1rCjDZtdqd5phM.J2..Tn YHruhR5qptwgqJZcIfOivOT99Utw0E22z2HsNG9cWCY4XQJpaC5AvGqOVbhV xTf6hmvcQSQeNmGA1VqSe_v_Yz6vhWyEajhOwzhjATCKAEvNJ6DTKtkbVRJk 6HOrnCwaMcz11VG.MVp1QHi6hqJKyGuyW4Ut8x.gDgnYIaYCsW8SQVrVeAZx PdWZORoVYFDd3VAAqs7d1MAKOmShyzYT7aaFO6D_2SM_PmK8IMv97kQH51Xb GBYY3Rgbgpz7ZORt9Fz958SNIQj.7q8_IIcmhia7p0BULF9F4VdRRIFYTO4k 0jI7lgmvyEQXDfeB3JBSNWpv7VA_Ui0nuy.QorGsWRE7d3FYyNdAuAJMT Received: from [93.108.17.101] by web121702.mail.ne1.yahoo.com via HTTP; Tue, 26 Aug 2014 07:33:01 PDT X-Rocket-MIMEInfo: 002.001,SGksCgo.IFRoaXMgZnVuY3Rpb24gcmVsaWVzIG9uIGhpZ2hlci1raW5kZWQgcG9seW1vcnBoaXNtIChpLmUuIGl0IGlzCgo.IHBvbHltb3JwaGljIGluIHR5cGUgYHVgIHdoaWNoIGhhcyB0eXBlIHBhcmFtZXRlcnMpLiBTaW5jZSBPQ2FtbCdzIGNvcmUKPiBsYW5ndWFnZSBkb2VzIG5vdCBwcm92aWRlIGRpcmVjdCBzdXBwb3J0IGZvciBoaWdoZXIta2luZGVkIHBvbHltb3JwaGlzbQo.IHRoZSB1c3VhbCBzb2x1dGlvbiBpcyB0byBtYWtlIGBhY3R1YWxseV9wcm9jZXNzYCBpbnRvIGEgZnVuY3Rvci4gQQo.IHABMAEBAQE- X-Mailer: YahooMailWebService/0.8.201.700 References: <1408559896.43780.YahooMailNeo@web121705.mail.ne1.yahoo.com> <8738cl6dw1.fsf@study.localdomain> Message-ID: <1409063581.90232.YahooMailNeo@web121702.mail.ne1.yahoo.com> Date: Tue, 26 Aug 2014 07:33:01 -0700 From: Dario Teixeira Reply-To: Dario Teixeira To: Leo White Cc: OCaml mailing-list In-Reply-To: <8738cl6dw1.fsf@study.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Locally abstract type with type parameters Hi, > This function relies on higher-kinded polymorphism (i.e. it is > polymorphic in type `u` which has type parameters). Since OCaml's core > language does not provide direct support for higher-kinded polymorphism > the usual solution is to make `actually_process` into a functor. A > possible alternative solution, which may suit your use case, is outlined > in the paper "Lightweight higher-kinded polymorphism" [1] using the > "higher" library available on OPAM. Ah... It makes sense now -- thanks for the explanation! I ended up making actually_process also part of a functor. Still, it's nice to know about this limitation and of the alternative offered by your Higher library. Best regards, Dario Teixeira