News for hackers. Stuff that matters.

A comment on Why don't more languages offer flow typing?. Parent comment

Re:Why don't more languages offer flow typing? by Ericson2314 on Monday April 04, 2022 @03:05PM (#30910733)
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.

[ Parent | on HN ]
Re:Why don't more languages offer flow typing? by masklinn on Monday April 04, 2022 @03:24PM (#30910928)
> There is a fundamental tradeoff between cost-free upcasts and efficient layout, but languages could offer both options and many in between.

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.

[ Parent | on HN ]