3 ms·
In any case, it is clearly not following from his definitions of what a subtype is, since as soon as something depends on memory size the interopability is lost
by yxhuvud 2y ago
In any case, it is clearly not following from his definitions of what a subtype is, since as soon as something depends on memory size the interopability is lost.
- kragen 2y agoNot necessarily? Usually the only operation that depends on memory size is constructing a new object of a type. With respect to memory size, operations on existing objects only depend on the memory size being at least big enough, other than maybe things like .clone().