There doesn't need to be a distinction between Objects and Values: Object -> Object' -> Object'' -> Object''' -> ... The real problem with some popular OO l

There doesn't need to be a distinction between Objects and Values: Object -> Object' -> Object'' -> Object''' -> ... The real problem with some popular OO languages is the conflation of state and identity. There are OO languages that avoid this "Worse Is Better" design. Haskell and Clojure come to mind.