News for hackers. Stuff that matters.

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

Re:Why don't more languages offer flow typing? by throwaway81523 on Monday April 04, 2022 @11:32AM (#30907822)
Is this something like GADT's?
[ Parent | on HN ]
Re:Why don't more languages offer flow typing? by littleroot on Monday April 04, 2022 @03:04PM (#30910715)
Feels like type refinement via pattern matching on GADTs is more expressive than this
[ Parent | on HN ]