> So the issue isn't that these standards don't exist; it's that they aren't widely understood among users of object-oriented languages. But we're talking abou

> So the issue isn't that these standards don't exist; it's that they aren't widely understood among users of object-oriented languages. But we're talking about language design. I think enforcing constraints is much (maybe all, from a certain point of view and definition of "constraint") of what a programming language ought to do. Haskell code is principled because the language is principled, not because of conventions passed from an ivory tower. Also do you know of any languages built around those principles you mention? It sounds like studying such a language might make OO click for me a little more.