MK
вот у меня обычный адт с 5 конструкторами, скажем
Size: a a a
2020 November 11
MK
пм чекер всегда умел показывать, что какой-то из них я не обработал
DR
9 кругов гадта
AA
че в реальном коде?
MK
че в реальном коде?
?
MK
я вот буквально вчера писал реальный код по работе, где бы мне помогли варнинги эти чтобы видеть какие кейсы я ещё не обработал
AA
по моему опыту, в рельном коде будут гарды какие-нибудь и все до свиданья чекер, с 8.10 хоть можно с воркараундами гарды так писать вроде, что ченить чекнется
MK
(ну "работа" в этом случае это аспирантура, но не суть)
MK
по моему опыту, в рельном коде будут гарды какие-нибудь и все до свиданья чекер, с 8.10 хоть можно с воркараундами гарды так писать вроде, что ченить чекнется
ну блин, ты передёргиваешь
MK
типа раз гадты всё равно не чекаются, то и вообще ничего не надо чекать
MK
тупо
AA
типа раз гадты всё равно не чекаются, то и вообще ничего не надо чекать
не наоборот, в 8.0 гадт чекается, т.е. для тех кто тайплевелострадает, с 8.0 от ПМ чекера может быть реальная польза (я таким не особо увлекаюсь, так что до последнего времени для меня пм чекер был в основном бесполезен)
YS
надо попробовать, там что-то починили с имплисит хие
YS
вроде с ним и были проблемы
AA
до самого последнего времени не чекались гарды/вью, так что ПМ чекер в основном только заставлял вставлять вайлдкарты и делать код нечекаемым потенциально умным ПМ чекером будущего
MK
о, хлинт заорал сразу
VD
Где-то видел пропосал чтоб можно было делать такую штуку:
Типа как _, но не _.
data Foo = Bar | Baz | Quux | Puk | Kek
f :: Foo -> Bool
f Bar = True
f Baz, Quux, Puk, Kek = False
Типа как _, но не _.
MK
вот короче что я хотет всё это время
MK
теперь я доволен
AV
Где-то видел пропосал чтоб можно было делать такую штуку:
Типа как _, но не _.
data Foo = Bar | Baz | Quux | Puk | Kek
f :: Foo -> Bool
f Bar = True
f Baz, Quux, Puk, Kek = False
Типа как _, но не _.
or patterns?