Re:TypeScript Is Surprisingly OK for Compilers
by hardware2win on Friday August 18, 2023 @04:27AM
(#37172764)
>compiler can't prove the above code is exhaustive because no proper sum types
Thats because c#s enum is not "closed"
There are no proper sum types in C#, so 80% of the point isn't even there.
...