Version franÁaise
Home ††† About ††† Download ††† Resources ††† Contact us †††

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2008-02-27 (09:07)
From: MichaŽl_GrŁnewald <michael.grunewald@l...>
Subject: Categories for types
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

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