2 ms·
But the L part is only correct in so far as it repeats the definition of what it means to be a subtype, i.e. it is vacuously true. BY the way, does any OO lang
by fhars 3y ago
But the L part is only correct in so far as it repeats the definition of what it means to be a subtype, i.e. it is vacuously true.
BY the way, does any OO language apart form Ocaml get this right?
- ahtihn 3y agoThe L part was apparently not so obvious to the authors of the Java standard library since it has violations all over it. Readonly implementations of java.util.List come to mind.