* Re: Categories for types
@ 2008-02-27 21:04 Damien Guichard
0 siblings, 0 replies; 2+ messages in thread
From: Damien Guichard @ 2008-02-27 21:04 UTC (permalink / raw)
To: Liste de diffusion OCaml
[-- Attachment #1: Type: text/plain, Size: 290 bytes --]
Hi Michaël,
Seems to me an OCaml 'functor' is a a glorified function from modules to modules.
The most readibly introduction to category theory, including category functors, known to me is :
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
It's a really good start.
- damien
[-- Attachment #2: Type: text/html, Size: 691 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Categories for types
@ 2008-02-27 9:08 Michaël Grünewald
0 siblings, 0 replies; 2+ messages in thread
From: Michaël Grünewald @ 2008-02-27 9:08 UTC (permalink / raw)
To: caml-list
Dear OCaml folks,
I am an happy OCaml amateur programmer since many years now, and I ever
wondered why the language has ``functors'' --- I was puzzled by the
name.
My curiosity had a renewal when I found this book in the math department
library: Categories for types, by Crole. Before checking the book out, I
would like to know if the term ``functor'' was chosen because they are
actually functors. Maybe someone can also suggests other readings to me.
(I have a strong math education, although I am not used to work with
categories.)
--
Cheers,
Michaël
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2008-02-27 21:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-02-27 21:04 Categories for types Damien Guichard
-- strict thread matches above, loose matches on Subject: below --
2008-02-27 9:08 Michaël Grünewald
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).