[
Cоответственно, моя версия выглядит примерно так
.stack/setup-exe-cache/x86_64-linux-nix/Cabal-simple_mPHDZzAJ_3.2.1.0_ghc-8.10.4: startProcess: runInteractiveProcess: exec: does not exist (No such file or directory)?Size: a a a
2021 April 14
TZ
А чем нынче принято лечить
AS
stack purge && stack build?
TZ
stack притащен никсом, в стак-ямле
nix:
enable: true
packages: [protobuf]
pure: false
nix:
enable: true
packages: [protobuf]
pure: false
TZ
ничего не изменилось
JS
это он пытается запустить программу
exec?TZ
Не знаю
L
Очередной глупый вопрос. Есть вот такой умеренно бесполезный тип
Он очевидно функтор, чуть менее очевидно аппликативный (зиппер). На первый взгляд (и на второй, но может я чего не вижу) -- не монада. Как это можно внятно обосновать кроме "ну у всех инстансов которые я придумал законы не выполняются"? Или всё-таки монада и я недодумал?
data Peano = Z | S Peano
data Vec (n :: Peano) a where
VNil :: Vec 'Z a
VCons :: a -> Vec n a -> Vec ('S n) a
Он очевидно функтор, чуть менее очевидно аппликативный (зиппер). На первый взгляд (и на второй, но может я чего не вижу) -- не монада. Как это можно внятно обосновать кроме "ну у всех инстансов которые я придумал законы не выполняются"? Или всё-таки монада и я недодумал?
АХ
Монада: join ((a,_), (_,b)) = (a,b)
АХ
join - берёт диагональ
JS
гомогенная пара — это Vec 2, по аналогии можно продлить до любого размера