Wow, what a gem! And I found what clearly irks me with modern day OOP nicely spelled out:<p>> I find OOP technically unsound. It attempts to decompose the world in terms of interfaces that vary on a single type. To deal with the real problems you need multisorted algebras - families of interfaces that span multiple types.