6 ms·
Your list of records doesn't require subtyping, it requires information hiding, eg. existential types. Subtyping is too powerful.
by naasking 2y ago
Your list of records doesn't require subtyping, it requires information hiding, eg. existential types. Subtyping is too powerful.