News for hackers. Stuff that matters.

A comment on Python 3 Types in the Wild. Parent comment

Re:Python 3 Types in the Wild by whimsicalism on Sunday March 20, 2022 @05:24PM (#30746801)
I see, so you can never really get a match_failure due to type level mismatch with GADT because it would be caught by the compiler.

Makes sense to me.

[ Parent | on HN ]

There are no comments on this comment yet.