Todd Fleming wrote: > His ideal model seems to eliminate every language that I'm aware of, > except, perhaps, the truely functional ones. mmm.. well, their model admits updates, so is surely imperative, not purely functional; but they avoid pointers and so aliasing. Regards. -- Massimo Dentico