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 munificent on Tuesday April 05, 2022 @01:06PM (#30921673)
It gives you a very nice notation for checking if a value has some type and, if so, binding a new variable that refers to it as that more specific type.
[ Parent | on HN ]
Re:Why don't more languages offer flow typing? by cannabis_sam on Tuesday April 05, 2022 @04:25PM (#30924534)
How does that solve the problem of statements being devoid of return information?

Also, what? Pattern matching differentiate between values of a single type, and while the assignment mechanism is a great nice-to-have, it still completely follows the basic type consistency that actually typed functions provide.

Statements have none of these qualities..

[ Parent | on HN ]
Re:Why don't more languages offer flow typing? by munificent on Tuesday April 05, 2022 @07:12PM (#30926351)
I'm sorry, but we seem to be talking past each other.

Why is it a problem that statements are "devoid of return information"? A statement occurs in a position where, by definition, no value it produces will be used.

[ Parent | on HN ]