к
дано:
нет глобального кабала
есть nix-shell
есть проект в котором только кабалфайл (без никс или стак конфига)
как мне проще всего сбилдить проект?
Size: a a a
2020 July 07
MK
nix-shell '<nixpkgs>' -p 'haskell.packages.ghc883.ghcWithPackages (p: [p.cabal-install])'и
cabal new-buildАГ
Отлично.
L
Всем привет!
В этот четверг (09.07) в 19-00MSK будет выступление от Александра Бондаренко (@icrbow)
"Игровые движки как фабрики абстрактных абстракций":
истории, одна низкоуровнее другой, про поиск способа учить хаскель на играх вместо факториалов.
Всех ждём!
Ссылка появится в канале за 5 минут до встречи.
В этот четверг (09.07) в 19-00MSK будет выступление от Александра Бондаренко (@icrbow)
"Игровые движки как фабрики абстрактных абстракций":
истории, одна низкоуровнее другой, про поиск способа учить хаскель на играх вместо факториалов.
Всех ждём!
Ссылка появится в канале за 5 минут до встречи.
֍֎
дано:
нет глобального кабала
есть nix-shell
есть проект в котором только кабалфайл (без никс или стак конфига)
как мне проще всего сбилдить проект?
нет глобального кабала
есть nix-shell
есть проект в котором только кабалфайл (без никс или стак конфига)
как мне проще всего сбилдить проект?
Еще можно так:
default.nix
Результат появится в
default.nix
(import <nixpkgs> { }).haskellPackages.callCabal2nix "your-executable-name" ./. { }
$ nix buildРезультат появится в
./result/bin.MK
зараза
MK
NE.zip (0 :| [1..]) fooMK
очень удобно
MP
а какого-нибудь nonempty-th никто не написал еще?
MP
прямо просится
MK
просится что-нибудь другое
MK
чтобы компилятор знал, что
[0..] непустойJS
надо
IsList рассахаривать и применять во время компиляцииMK
надо зависимые типы
JS
моё предложение проще
JS
и потому реалистичнее
JS
надо
IsList рассахаривать и применять во время компиляцииа также
IsString