X
Size: a a a
2021 April 24
AP
Потому что единообразие
AP
На верхнем уровне можно паттернматчить. Это — паттерн.
AP
Коль скоро
15, это полиморфная константа, то ничего не сломается. Ну сопоставился какой-то там 15 с чем-тоAP
Впрочем, полиморфизм тут ни причём
AP
True = False тоже можно написатьJS
а когда это может быть нужно?
AP
Никогда :)
JS
полностью определённый унипаттерн
AP
Это полезно для конструкторов с полями, когда связывание происходит
data Foo = Foo 42
Foo x = Foo 42JS
вот
True <- pure False имеет смысл, потому что там ветвление на failAP
Думаю, что проще было разрешить любые паттерны, пусть часть и окажется не особо полезной, чем ловить частные случаи
JS
> 15 = 1 + 13 :: Integer
<interactive>:8:1: warning: [-Wunused-pattern-binds]
This pattern-binding binds no variables: 15 = 1 + 13 :: Integerвключайте
-Wall всегдаJS
и
-Werror тоже почти всегда нуженAP
15 = foo 45
можно было бы как assеrt использовать, если бы оно могло не матчитьсяAP
В Erlang была бы ошибка паттернматчинга, там
:ok = blabla — обычное дело, когда нужно либо поматчить, либо упастьAP
Это же только в GHCi можно сделать, не на верхнем уровне модуля?
JS
это в MonadFail можно, не только в ghci. но на верхнем уровне нельзя, да
JS
LANGUAGE Strict?
AP
Это слишком "из пушки по воробьям" :)