From mboxrd@z Thu Jan  1 00:00:00 1970
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 p38Bwcot017287
	for <caml-list@sympa-roc.inria.fr>; Fri, 8 Apr 2011 13:58:38 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiECAHb3nk3B/BfXkWdsb2JhbACmKQEBAQEJCwsHFAMiwTuFbQSNToNq
X-IronPort-AV: E=Sophos;i="4.63,323,1299452400"; 
   d="scan'208";a="105257869"
Received: from msa06.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.215])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Apr 2011 13:58:33 +0200
Received: from [192.168.1.63] ([83.204.229.18])
	by mwinf5d22 with ME
	id UzyY1g0030QTpRf03zyYVA; Fri, 08 Apr 2011 13:58:33 +0200
Message-ID: <4D9EF86A.9040202@lexifi.com>
Date: Fri, 08 Apr 2011 13:58:34 +0200
From: Alain Frisch <alain.frisch@lexifi.com>
Organization: LexiFi
User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.2.15) Gecko/20110303 Thunderbird/3.1.9
MIME-Version: 1.0
To: Julien Signoles <julien.signoles@gmail.com>
CC: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>,
        caml-list <caml-list@yquem.inria.fr>
References: <4D9E28D2.1050808@wp.pl>	<1302212990.8429.1150.camel@thinkpad>	<0F248A34-05CF-4640-B122-75C4CE7C2CD2@mpi-sws.org>	<4D9EC172.1060205@lexifi.com>	<F8F08069-5BEC-4E15-B359-FE70CF1105A6@math.nagoya-u.ac.jp>	<4D9ECAF2.7070300@lexifi.com> <BANLkTikWxjMtFHWShMFA5vKdi29dUsj1vw@mail.gmail.com>
In-Reply-To: <BANLkTikWxjMtFHWShMFA5vKdi29dUsj1vw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] What is an applicative functor?

On 04/08/2011 01:25 PM, Julien Signoles wrote:
> 2) module F(X:...) = G(H(X))
>
> Without applicative functors, we again get the error about parameter
> elimination. But I see no workaround to eliminate it without changing
> the signature of F. So IMHO that is a use case where applicative
> functors are useful.

I'd be interested to see a full example for this case.


-- Alain