12
о, понял, спасибо
Size: a a a
2021 February 07
A
меня вот lsp удивил в свое время, когда предложил вместо (flip func) arg писать (`func` arg)
YS
Ну одной функцией меньше
YS
Экономия)
AA
лучше читается прост
АК
добрый вечер, как экранировать хаскельные дырки?
Пытаюсь в ghci запустить пример из аесон доки:
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
Пытаюсь в ghci запустить пример из аесон доки:
"[10]" ^? nth 0 . _Integer
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
ЗП
добрый вечер, как экранировать хаскельные дырки?
Пытаюсь в ghci запустить пример из аесон доки:
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
Пытаюсь в ghci запустить пример из аесон доки:
"[10]" ^? nth 0 . _Integer
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
undefined :: ExpectedType
ЗП
Но только :t
ЗП
Он не вычислится же
AP
добрый вечер, как экранировать хаскельные дырки?
Пытаюсь в ghci запустить пример из аесон доки:
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
Пытаюсь в ghci запустить пример из аесон доки:
"[10]" ^? nth 0 . _Integer
с ошибкой:
error:
• Found hole: _Integer :: a0 -> p0 (Maybe v0) (f0 (Maybe v0))
Если
_Integer есть в области видимости, то не будет дыркой. Если нет такого имени, то будет именованная дыркаAP
Так что экранировать обычно ничего не нужно. Поэтому и нет такой возможности
AP
У вас
_Integer считается дыркой потому, что вы эту линзу не импортировалиАК
точно, спасибо
АК
после перезагрузки репла забыл обратно импорт добавить\\
к
это кстати довольно косячный момент имхо, но как пофиксить непонятно
ЗП
это кстати довольно косячный момент имхо, но как пофиксить непонятно
Что надо репл перезагружать?
AP
это кстати довольно косячный момент имхо, но как пофиксить непонятно
дырки ещё и с partial type signatures конфликтуют
AA
это кстати довольно косячный момент имхо, но как пофиксить непонятно
писать всю сессию гхци и потом интерактивно (пользователь подтверждает команды одним нажатием) загружать по желанию сразу убирая все что с ошибкой компиляции или в рантайме завершилось (включая прибитое пользователем, но тут само получится) и без подтверждения для всего с небольшим временем исполнения и футпринтом
AA
еще переопределяемое не загружать - но тут так просто не получится
2021 February 08
D
товарищи, подскажите пожалуйста, почему у меня либа установлена (через кабал), а ghc её не видит?