LispOS Kernel: the Tunes approach

Henry G. Baker
Sat, 3 May 1997 07:46:51 -0700 (PDT)

> What exactly are you talking about when you say "functors"?  My PhD is
> in arithmetical geometry, so I'm quite familiar with category theory,
> but I never heard of category theory (and functors, which are
> basically homeomorphisms of categories) being used in a computer
> programming context.

This is completely off-topic, but Mitch Wand used to teach category
theory to computer scientists.  'Object-oriented programming' could
learn a lot from a category.

Henry Baker
www/ftp directory URL: