Без заголовка

Смысл моего замечания был в том, что такие конструкты поддерживают стиль, в котором проблема мультизначений не должна бы вылезать на поверхность надолго. Сопоставление с образцом - это очень перегруженный термин. Разумеется, разбор типов есть везде, где система типов включает разборные или алгебраические типы. Скала просто в соседнем окне оказалась открыта.