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: 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
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