Size: a a a

2020 May 11

AV

Alexander Vershilov in Haskell
Как подружить линзы, вектора и fold?
источник

AV

Alexander Vershilov in Haskell
Roman
если добавить функцию hasCallStack :: HasCallStack => (HasCallStack => r) -> r и использовать ее, не прокатит?
Прокатит наверное
источник

AV

Alexander Vershilov in Haskell
(\v -> (v & maximum1Of (folded._4))) выглядит не очень, особенно если и другие штуки надо считать
источник

AA

A64m AL256m qn<co... in Haskell
Alexander Vershilov
Как подружить линзы, вектора и fold?
Foldl.foldOver each Foldl.sum vector
источник

IK

Ilya Kos in Haskell
Как в GHCi убрать из нейспейса функции из Prelude?
источник

IK

Ilya Kos in Haskell
:m -Prelude не работает
источник

AV

Alexander Vershilov in Haskell
:set -XNoExplicitPrelude?
источник

R

Roman in Haskell
Alexander Vershilov
(\v -> (v & maximum1Of (folded._4))) выглядит не очень, особенно если и другие штуки надо считать
а (\v -> (v & f)) — это не то же самое что f?
источник

AV

Alexander Vershilov in Haskell
Да
источник

AV

Alexander Vershilov in Haskell
Тоже самое
источник

AA

A64m AL256m qn<co... in Haskell
Foldl.foldOver (folded._4) Foldl.maximum
источник

IK

Ilya Kos in Haskell
Alexander Vershilov
:set -XNoExplicitPrelude?
неа 🙁
источник

IK

Ilya Kos in Haskell
источник

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
неа 🙁
там Implicit должно быть вместо Explicit
источник

IK

Ilya Kos in Haskell
A64m AL256m qn I0
там Implicit должно быть вместо Explicit
Да, я так и сделал
источник

IK

Ilya Kos in Haskell
:set -XNoImplicitPrelude
источник

IK

Ilya Kos in Haskell
это не помогло
источник

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
это не помогло
λ ghci -XNoImplicitPrelude
GHCi, version 8.10.1: https://www.haskell.org/ghc/  :? for help
> :i map

<interactive>:1:1: error: Not in scope: `map'
источник

IK

Ilya Kos in Haskell
а как мне такое сделать со stack ghci, но чтобы сами модули без этого флага собирались?
источник

R

Roman in Haskell
мне нравится вот эта ошибка в агде:

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% случаев она означает, что в функцию, которая ожидает обычную функцию без зависимостей, была передана зависимая функция. Что обычно легко отследить. Но только если ты уже знаешь, что именно эта ошибка означает. Они бы с тем же успехом могли ее на клингонском выдавать
источник