The Subtext programming language looks like a interesting bit of work. The demoVia Brian McCallister of subtext in action is well worth watching. I am definitely intrigued by the idea of hypothetical programing since I already program that way except that I run the hypothetical scenarios in my head.