|
|
|
|
|
|
by Ericson2314
1544 days ago
|
|
|
There is a fundamental tradeoff between cost-free upcasts and efficient layout, but languages could offer both options and many in between. IMO in general: in the face of tradeoffs, moving the goal posts to let the programmer decide is an unexplored 3rd option. |
|
|
Not sure what the relationship to my comment is there, this tradeoff exists in nominative land, it’s got nothing to do with structural typing.