From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 17349BBCA for ; Wed, 27 Feb 2008 14:39:10 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CADr3xEfVujhf/2dsb2JhbACteA X-IronPort-AV: E=Sophos;i="4.25,413,1199660400"; d="asc'?scan'208";a="23106165" Received: from witko.kerneis.info ([213.186.56.95]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Feb 2008 14:39:09 +0100 Received: from [2002:52e0:d712:5678:20c:f1ff:fe40:edcf] (helo=tatanka.kerneis.info) by witko.kerneis.info with esmtpsa (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1JUMV2-00036P-Ve for caml-list@yquem.inria.fr; Wed, 27 Feb 2008 14:39:09 +0100 Received: from localhost.kerneis.info ([127.0.0.1] helo=tatanka.kerneis.info) by tatanka.kerneis.info with esmtp (Exim 4.69) (envelope-from ) id 1JUMV1-00033C-L7 for caml-list@yquem.inria.fr; Wed, 27 Feb 2008 14:39:07 +0100 Date: Wed, 27 Feb 2008 14:38:44 +0100 From: Gabriel Kerneis To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Categories for types Message-ID: <20080227143844.664f0a04@tatanka.kerneis.info> In-Reply-To: <1204103280.10964.16.camel@Llea.celt.neu> References: <1204103280.10964.16.camel@Llea.celt.neu> Organization: ENST X-Mailer: Claws Mail 3.3.1 (GTK+ 2.12.8; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/xoCS9eWAEVzf+t0t8BHENPp"; protocol="application/pgp-signature"; micalg=PGP-SHA1 X-SA-Exim-Connect-IP: 2002:52e0:d712:5678:20c:f1ff:fe40:edcf X-SA-Exim-Mail-From: kerneis@enst.fr X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false X-Spam: no; 0.00; 0100,:01 functors:01 functors:01 ocaml:01 caml-list:01 functions:01 modules:02 checking:02 types:05 ecrit:06 wed:06 michael:07 michael:07 feb:08 actually:10 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" --Sig_/xoCS9eWAEVzf+t0t8BHENPp Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello, Le Wed, 27 Feb 2008 10:08:00 +0100, Micha=EBl Gr=FCnewald a =E9crit : > Before checking > the book out, I would like to know if the term ``functor'' was chosen > because they are actually functors.=20 No. Functors (in Ocaml) are just functions that produce modules. Regards, --=20 Gabriel --Sig_/xoCS9eWAEVzf+t0t8BHENPp Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHxWf66a2JmXQu5bYRAsonAKCySgNsq95NlK384WwzN5fSMZ33QQCgk0WA DFRq1LN4Kbfn3lCwQqyRF88= =m3rA -----END PGP SIGNATURE----- --Sig_/xoCS9eWAEVzf+t0t8BHENPp--