IR
Кстати, кому-то уже удалось получить профит от использования Mu и Nu вместо Fix?
ghc-pkg unregister пишет cannot find package (версия ghc-pkg совпадает)cabal-uninstall также не находит.
Size: a a a
2021 February 26
G
Как удалить пакет, установленный через cabal в ~/.cabal/bin?
cabal-uninstall также не находит.
cabal-uninstall также не находит.
ЗП
Кстати, кому-то уже удалось получить профит от использования Mu и Nu вместо Fix?
в строгом языке это оправдано, в хаскель это всее почти одно и тоже
к
чет у меня странная ошибка, про которую лень расписывать, но если коротко:
есть NP I [a, b]
и есть NP F [[a], [b]]
где F как раз :: [Type] -> Type
и у меня не выходит написать констрейнт Coercible (NP I [a, b]) (NP F [[a], [b]])
ругается на то, что в первом случае у NP аргумент [Type], а во втором [[Type]]
есть NP I [a, b]
и есть NP F [[a], [b]]
где F как раз :: [Type] -> Type
и у меня не выходит написать констрейнт Coercible (NP I [a, b]) (NP F [[a], [b]])
ругается на то, что в первом случае у NP аргумент [Type], а во втором [[Type]]
K
Как удалить пакет, установленный через cabal в ~/.cabal/bin?
cabal-uninstall также не находит.
ghc-pkg unregister пишет cannot find package (версия ghc-pkg совпадает)cabal-uninstall также не находит.
У кабала разве есть uninstall?
G
У кабала разве есть uninstall?
Нету.
к
чет у меня странная ошибка, про которую лень расписывать, но если коротко:
есть NP I [a, b]
и есть NP F [[a], [b]]
где F как раз :: [Type] -> Type
и у меня не выходит написать констрейнт Coercible (NP I [a, b]) (NP F [[a], [b]])
ругается на то, что в первом случае у NP аргумент [Type], а во втором [[Type]]
есть NP I [a, b]
и есть NP F [[a], [b]]
где F как раз :: [Type] -> Type
и у меня не выходит написать констрейнт Coercible (NP I [a, b]) (NP F [[a], [b]])
ругается на то, что в первом случае у NP аргумент [Type], а во втором [[Type]]
то есть почему ghc вообще лезет проверять аргументы, типы же у типов одинаковые, и сами по себе валидные, только как аргументы ~/Coercible это не работает
G
Нету.
cabal-uninstall это один из нескольких скриптов, который через ghc-pkg работает, не относится к cli cabal-а
к
@cblp_su смог сделать так (с некрасивым списком кейсов)
https://gist.github.com/kana-sama/5e310560d5e042dd9b03034f33d198a3
а чтобы красиво было (кортеж фунций хотя бы) не вышло, из-за странной ошибки ghc
https://gist.github.com/kana-sama/5e310560d5e042dd9b03034f33d198a3
а чтобы красиво было (кортеж фунций хотя бы) не вышло, из-за странной ошибки ghc
ЗП
как кеш никса почистить?
K
как кеш никса почистить?
Я обычно сношу /nix и переустанавливаю
p
как кеш никса почистить?
nix-collect-garbage не годится?
ЗП
nix-collect-garbage не годится?
уже нашел)
А
У меня только один вопрос: как можно просто установить haskell? Желательно самую новую версию, и чтобы можно было просто устанавливать всякие библиотеки. И как подключить его к atom? Или лучше выбрать другой IDE?
А
Александр
У меня только один вопрос: как можно просто установить haskell? Желательно самую новую версию, и чтобы можно было просто устанавливать всякие библиотеки. И как подключить его к atom? Или лучше выбрать другой IDE?
На windows
KV
Александр
На windows
А так все хорошо начиналось
@haskell_moiseevitch эксперт по данному вопросу
ХГ
Александр
У меня только один вопрос: как можно просто установить haskell? Желательно самую новую версию, и чтобы можно было просто устанавливать всякие библиотеки. И как подключить его к atom? Или лучше выбрать другой IDE?
Надо начинать с другого конца. Редактор какой смотрит на вас? Есть два варианта — VSC и Сублайм. Сублайм очень быстрый, просто очень, но там кое-что надо допиливать руками. VSC тормознутый, но там допиливать руками меньше. Вообще э