HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by dbpatterson | Hacker News Reader
Parent
Full thread
dbpatterson
·
Pattern matching on GADTs will get you there, I believe.
View on HN
wz1000
·
Its been improved a lot-
https://lirias.kuleuven.be/bitstream/123456789/512439/1/icfp...
Reply on news.ycombinator.com