Lambda the Ultimate

Hi LtU,

I've started another brainstorming topic on the Mist discussion group. (Design discussion: If you would like to respond, please do it there, not here.)

I must admit, I'm not sure LtU is the proper target for this discussion, since it has a relatively strong bike-shed coloring taste to it. I think such discussions are important too, in the design of a programming language. Nonetheless, please tell me if (links to) such discussions are taboo here.

Off topic: Thanks for your interesting replies to my last post! I've gained some insight. And I've purchased Types and Programming Languages by Pierce. It's a good read so far. I'm sure it will clear up many things for me.