Thanks for the nice words. I'm not sure about my conclusions either -- I'm particularly unhappy with how I described the type system for the data store. Type sy

Thanks for the nice words. I'm not sure about my conclusions either -- I'm particularly unhappy with how I described the type system for the data store. Type systems need more than ten minutes thought. As other people have pointed out in this thread pretty much everything I talk about has been implemented by one program or another. It hasn't all been collected into one user environment though, and without doing that it's hard to envision the details of how things in that environment should fit together.