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/