> 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 multi sorted algebras - families of interfaces that span multiple types.
Can someone explain what this means?