> Pattern matching is seen as particularly useful in the context of discriminated records, because it allows safe and complete handling of every case, in a fashion that is very close to what is done with sum types in functional languages. It is seen as a strictly better way of accessing fields whose existence depends on a discriminant, because it cannot fail at runtime.
Я думал у вас там flow analysis есть.