[
И это прям категории из тк?
Size: a a a
2021 June 28
YS
У меня вообще написано - инженер-конструктор
AL
С точностью до теоремы Гёделя и проч.
L
ну то есть как, класс Category на самом деле определяет стрелки над объектами из Hask. Стрелки должны удовлетворять аксиомам. Hask сам по себе вроде бы образует категорию (если проигнорировать всякие
seq, undefined и прочую компиляторную магию). Если определить над (некоторыми) объектами из него (i.e. типами) какие-то "другие" стрелки, то получается новая категория.Z
Подскажите, stack актуален или есть более лучший инструмент? Позволяет ли он переопределить пути к своим директориям через переменные окружения?
JS
stack актуален
Z
пока вижу в справке, что используется LOCALAPPDATA, но это несколько геморно...
JS
некоторые каталоги можно переопределить, некоторые нельзя
JS
чем?
Z
тем, что требуется устанавливать эту переменную для stack'а, а я пока не видел, что бы IntelliJ-Haskell это позволял, либо передавать через аргументы запуска
Z
тем более, плагин оказался крайне глючным
D
плагин больше не разрабатывается
JS
а если не устанавливать, что-то не работает?
D
лучше переехать на vsc + hls
Z
диск C забивает
JS
наверно, можно выставить перед запуском самой Идеи
JS
а, вы хотите переопределить на нужный вам диск, теперь понятно