Re:Why don't more languages offer flow typing?
by sfvisser on Tuesday April 05, 2022 @01:29PM
(#30922033)
Definitely yes!
It's a loooong time ago, but the pattern exhaustiveness checker of GHC wasn't up to this last time I tried. But my guess is things are much better now and this might actually work.
Re:Why don't more languages offer flow typing?
by chowells on Tuesday April 05, 2022 @01:59PM
(#30922527)
There have been big improvements in the exhaustiveness checker. I know that it's not fully decideable with GADTs, so it will always have some holes, but it can handle this case now.
It's a loooong time ago, but the pattern exhaustiveness checker of GHC wasn't up to this last time I tried. But my guess is things are much better now and this might actually work.