3 ms·
Do you know why they dont do exhaustiveness checking? They don't in scala either and I had assumed that was to do with type erasure. Given F# does however, pre
by mjburgess 7y ago
Do you know why they dont do exhaustiveness checking?
They don't in scala either and I had assumed that was to do with type erasure. Given F# does however, presumably there is no limitation to C# doing it?
- platz 7y ago> Do you know why they dont do exhaustiveness checking? Because then you would need to limit matching to some kind of closed algebraic data type (ADT) so that compiler knows what is left to be matched on, or provide a catch-all clause. I thought scala does produce partial warnings matching on case classes