Browse thread
Categories for types
-
Michaël_Grünewald
-
Gabriel Kerneis
- Michaël_Grünewald
- Pierre-Evariste Dagand
-
Gabriel Kerneis
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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