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 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 ]

There are no comments on this comment yet.