λ
То есть позволяет только структурно разматчить, убедиться что нет потерянного слагаемого
Size: a a a
2020 June 09
ZM
λ
Короче это просто корректный дестракчуринг
λ
С ошибкой в компайл тайме
ZM
ну вот скрин с отключенным бмф, компайл тайм
λ
Можешь потерять слагаемое
λ
Разматчь айзер по райту
ZM
вся разница лишь в ворнинге при включенном бмф
λ
λ
А в рантайме?
ZM
вон там внизу Ноне, что так что так
λ
Если лефт
AT
Если лефт
А если лестница?
λ
И в качестве манады - лист
AT
И в качестве манады - лист
А в качестве очка?
ᛒ
А в качестве очка?
засудили?
ZM
И в качестве манады - лист
вот тогда бмф выкидывает матч эррор в компайле
λ
В рантайме
λ
И ворнинг в компайл