Version française
Home     About     Download     Resources     Contact us    
Browse thread
Categories for types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michaël_Grünewald <michael.grunewald@l...>
Subject: Re: [Caml-list] Categories for types

Le Mercredi 27 février 2008 à 14:38 +0100, Gabriel Kerneis a écrit :
> Hello,
> 
> Le Wed, 27 Feb 2008 10:08:00 +0100, Michaël Grünewald
> <michael.grunewald@laposte.net> a écrit :
> > Before checking
> > the book out, I would like to know if the term ``functor'' was chosen
> > because they are actually functors. 
> 
> No.
> 
> Functors (in Ocaml) are just functions that produce modules.

Concise and precise answer! :)
Thank you,
MG