As HN: Has anyone kept objects and types separate in OOP?
Objects are really prototypes, not true types. So they should be subsumed under a type system (preferably not one that just types them ass as "object") instead of being made equal to types.
0 comments
—