categories: Computing with Category Theory

[Saul Youssef <youssef@bu.edu>]

Greetings to all,

       I'm a big fan of category theory, but doesn't it seem strange 
that after all this time
there is no programming language that let's you organize things around 
categorical ideas?
I've semi-seriously tried to find out about this ( 
http://physics.bu.edu/~youssef/aldor/aldor.html )
but I basically don't have an answer.  I'd be very interested to hear if 
anyone
is working in this direction or comments about why this hasn't happened.

Saul Youssef
http://physics.bu.edu/~youssef/