AV
Как подружить линзы, вектора и fold?
hasCallStack :: HasCallStack => (HasCallStack => r) -> r и использовать ее, не прокатит?Size: a a a
2020 May 11
AV
если добавить функцию
Прокатит наверное
AV
(\v -> (v & maximum1Of (folded._4))) выглядит не очень, особенно если и другие штуки надо считатьAA
Как подружить линзы, вектора и fold?
Foldl.foldOver each Foldl.sum vector
AV
:set -XNoExplicitPrelude?
R
(\v -> (v & maximum1Of (folded._4))) выглядит не очень, особенно если и другие штуки надо считатьа
(\v -> (v & f)) — это не то же самое что f?AV
AV
Тоже самое
AA
Foldl.foldOver (folded._4) Foldl.maximum
IK
:set -XNoExplicitPrelude?
неа 🙁
AA
неа 🙁
там Implicit должно быть вместо Explicit
IK
там Implicit должно быть вместо Explicit
Да, я так и сделал
AA
это не помогло
λ ghci -XNoImplicitPrelude
GHCi, version 8.10.1: https://www.haskell.org/ghc/ :? for help
> :i map
<interactive>:1:1: error: Not in scope: `map'
R
мне нравится вот эта ошибка в агде:
В 99% случаев она означает, что в функцию, которая ожидает обычную функцию без зависимостей, была передана зависимая функция. Что обычно легко отследить. Но только если ты уже знаешь, что именно эта ошибка означает. Они бы с тем же успехом могли ее на клингонском выдавать
Cannot instantiate the metavariable _6 to solution Vec _A_8 n
since it contains the variable n
which is not in scope of the metavariable or irrelevant in the metavariable but relevant in the solution
when checking that the inferred type of an application
Vec _A_8 n
matches the expected type
_B_6
В 99% случаев она означает, что в функцию, которая ожидает обычную функцию без зависимостей, была передана зависимая функция. Что обычно легко отследить. Но только если ты уже знаешь, что именно эта ошибка означает. Они бы с тем же успехом могли ее на клингонском выдавать