к
Size: a a a
2021 March 04
[
ну, да, так красившее. Объявляю войну скобкам
к
Ого, нифига, я что, не наложал, прописывая это? "Если компилится, значит, работает", конечно, но всё равно не особо верится.
это работает из-за очень полиморфных типов, когда есть только несколько возможных термов этого типа, тогда "если тайпчекается то все правильно" работает
например, тут у тебя f :: a -> b и x :: a, нужно вернуть b. Никак кроме как распаковать f и распаковать x и применить, b не получить
но тут можно ошибиться с input''/input' например, передать не тот input, будет тайпчекаться, а работать не будет
например, тут у тебя f :: a -> b и x :: a, нужно вернуть b. Никак кроме как распаковать f и распаковать x и применить, b не получить
но тут можно ошибиться с input''/input' например, передать не тот input, будет тайпчекаться, а работать не будет
[
Думаешь, если первый парсер упадёт в Nothing, оно сломается?
[
найс
JS
и тут могут помочь уже линтипы, ты не сможешь забыть использовать переменную, если она должна использоваться ровно раз, и множество возможных термов снова уменьшается
а ещё может помочь нерекурсивность do-обозначений
(input, f) <- p1 input
(input, a) <- p2 input
pure (input, f a)[
а чё, хаскель умеет в затемнение? Не знал
JS
придётся только -Wname-shadowing обходить. ну или выключить его нафиг, если хочешь в таком стиле всегда писать
JS
а чё, хаскель умеет в затемнение? Не знал
а кто не умеет?
AP
(input, f) <- p1 inputрассахаривается в
...
p1 input >>= \(input, f) -> ...
или даже(>>=) (p1 input) (\(input, f) -> ...)AP
понятно, что новый input перекроет старый, ведь это вложенная область видимости
JS
очень хочется -Wname-shadowing отключить только для
do<-, а для остального оставить. да, знаю, "пиши патчи в GHC"JS
а чё, хаскель умеет в затемнение? Не знал
если написать
let a = f a, то вместо затенения получим рекурсию, но это не потому что затенение не работает, а потому что рекурсия работаетJS
что-то не звучит "затенение". а "затемнение" вообще тут не подходить. лучше буду использовать "заслонение"
AP
Мне кажется, что лучше везде иметь предупреждение, чем помнить о разнице всё время
AP
(Тут могли бы вставить слово пропоненты let rec)
IK
а ещё может помочь нерекурсивность do-обозначений
(input, f) <- p1 input
(input, a) <- p2 input
pure (input, f a)Интересно как это с mdo работает