Browse thread
Categories for types
[
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: | Gabriel Kerneis <kerneis@e...> |
| Subject: | Re: [Caml-list] Categories for types |
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. Regards, -- Gabriel