This doesn't make much sense to me. Object-orientation in itself is simply another level of data abstraction. And for the rest, I think "provability" is more theoretical than practical, other than the most trivial programmes.
 
I'm beginning to get the impression (or perhaps more accurately am increasingly getting the impression) that the plan9 community is reactionary rather than progressive... not a good characteristic if one is trying to make advances in comparison with one's predecessors...
 
K

>>> "Patrick Kelly" kameo76890@gmail.com> 16/04/2010 12:47:03 pm >>

Object-Orientation reduces static provability. May be I'm crazy, but I like it when you can prove that a program is only going to do what it was told to do.