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 epolanski on Monday April 04, 2022 @05:53PM (#30912449)
Could you expand on your first sentence? I don't understand what do you mean that sum types are used when the type is unknown at runtime.
[ Parent | on HN ]
Re:Why don't more languages offer flow typing? by lupire on Tuesday April 05, 2022 @02:25PM (#30922878)
They meant unknown at compile-time, not run-time.
[ Parent | on HN ]