LispOS Kernel: the Tunes approach

[Henry G. Baker]

> 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:
ftp://ftp.netcom.com/pub/hb/hbaker/home.html