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 p37LD4rb011687
	for <caml-list@sympa-roc.inria.fr>; Thu, 7 Apr 2011 23:13:04 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtsBAEAonk3UTWUHimdsb2JhbACESqFEFAEBAQoJDQcSBiGwPIJfAY4VBYEpg0x4kSU
X-IronPort-AV: E=Sophos;i="4.63,319,1299452400"; 
   d="scan'208";a="96524001"
Received: from mx3.wp.pl ([212.77.101.7])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Apr 2011 23:12:58 +0200
Received: (wp-smtpd smtp.wp.pl 20764 invoked from network); 7 Apr 2011 23:12:55 +0200
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wp.pl; s=1024a;
          t=1302210775; bh=yV5lePH0Kbm2mJZMPSTTHtkYSgPeDkB+hVejWCX+sIU=;
          h=From:To:Subject;
          b=YKfp1d1u7XyMCegMLnqGxNf16RqP1zoGkKkGWryhQ6KpHYnzIkWav2fgd5kWgWdFR
           8kKM2z4JRmNsi8h681Qi9GkvaHpRDqw4VWXmyJa1IOScktPCAwsI3MKW9Y0iJiiRnO
           WutmcAGBAgZWizWzu+rxQ2aaYsfDV0FmOtaBLQ6c=
Received: from 18-161.2-0.pl (HELO [192.168.1.101]) (d0@[91.189.18.161])
          (envelope-sender <d0@wp.pl>)
          by smtp.wp.pl (WP-SMTPD) with AES256-SHA encrypted SMTP
          for <caml-list@yquem.inria.fr>; 7 Apr 2011 23:12:55 +0200
Message-ID: <4D9E28D2.1050808@wp.pl>
Date: Thu, 07 Apr 2011 23:12:50 +0200
From: Dawid Toton <d0@wp.pl>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8
MIME-Version: 1.0
To: caml-list <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A.
X-WP-SPAM: NO 0000000 [QcME]                               
Subject: [Caml-list] What is an applicative functor?

What does it mean that a functor is applicative?
Is there any analogy between applicative functors in OCaml and the 
Applicative type class of Haskell?
Dawid