хорошие слайды у доклада по generic-lens

где можно на них посмотреть?

https://github.com/kcsongor/talks/blob/master/ICFP18/generic-lens.pdf

https://github.com/kcsongor/talks/blob/master/ICFP18/generic-lens.pdf

спасибо

Как понимаю у cabal new нет аналога stack —file-watch?

Как понимаю у cabal new нет аналога stack —file-watch?

я вот так у себя делаю nix-shell --run 'ghcid -c "cabal new-repl"'

я вот так у себя делаю nix-shell --run 'ghcid -c "cabal new-repl"'

Работает аналогично?

я уже не помню что делает —flie-watch

давно стаком не пользуюсь

Ребилдит, если увидел изменения

но оно при сохранении пересобирает весь проект

да

Спасибо, сча попробуем

но это надо ставить ghcid

как раз при переезде со стака на никс надо

ну так никс притащит ghcid

ага

ага

оно работает лучше стака раза в пять, я даже переключиться не успеваю между редактором и консолью

оно работает лучше стака раза в пять, я даже переключиться не успеваю между редактором и консолью

я уже забыл как оно :)

привык что просто все быстро

стак так отправится прямиком в аналы истории

/me задумался, а не бросить ли к чертям стек в последнем проекте

если там все равно никс, то даже макосеры не будут страдать

товарищи,а как мне попробовать переключить версию компилятора в никс проекте быстрее всего?

то что я нахожу - мне надо много правок в свой никс файл вносить

я вроде только версию ghc менял в build-inputs

но это не точно

https://github.com/Gabriel439/haskell-nix/blob/master/project1/README.md#changing-the-compiler

я вот такой способ нашел

я в shell.nix в buildInputs только haskell.compiler.ghcXXX менял

но может я что не то делал

если там все равно никс, то даже макосеры не будут страдать

макосеры с никсом всегда страдают

но ради них стек держать не очень хочется

и stackage2niix

товарищи,а как мне попробовать переключить версию компилятора в никс проекте быстрее всего?

я переключал только заменой haskellPackages в никс файлах на haskell.packages.ghc<xxx>

можно везде подставить через let и менять в одном месте

ghc<xxx> здесь это например ghc822 или ghc861

https://github.com/NixOS/nixpkgs/blob/master/pkgs/top-level/haskell-packages.nix#L120

ну вот у гонзалеза судя по всему такое же объяснение

я видел такое https://qfpl.io/posts/multiple-ghcs/

можно везде подставить через let и менять в одном месте

ну вот я думаю что надо никс файлы подрефакторить и также сделать

я видел такое https://qfpl.io/posts/multiple-ghcs/

прикольно:)

а как сейчас проблема у всех решается?

Всем привет, знает кто, можно где-нибудь посмотреть запись ФП конфы, которая вчера в СПб была?

Сообщение случайно переслал

Всем привет, знает кто, можно где-нибудь посмотреть запись ФП конфы, которая вчера в СПб была?

@fprog_spb здесь спроси лучше

да, я конечно понимал что на 8.6.1 переехать легко не получится, но надежда была

автоэкспортер поломался

макосеры с никсом всегда страдают

макосеры страдают fixed

doJailbreak пока помог починить парочку либ

чет вы рано собираетесь на 861 переезжать

чет вы рано собираетесь на 861 переезжать

слишком борзо?

ну я уже хочу откатываться

на этом я наверное переезд и закончу

так еще и не с 843

нет, я застрял :(

так, я не теряю надежду

Как понимаю у cabal new нет аналога stack —file-watch?

Есть inotify, с её помощью можно попробовать на безрыбье...

inotify это слишком низкоуровнево

ghcid норм зашёл

А, или так, да

если там все равно никс, то даже макосеры не будут страдать

А виндоузятники?

А виндоузятники?

пофиг на них, не открытая либа

> the build times for my language-ats package went from around 7 minutes with GHC 8.4.3 to 1 minute with GHC 8.6.1 странно, я думал, что ни один из ускоряющих компиляцию патчей в 8.6.1 так и не попал

просто кеши остались

я подумал об этом, но после замены компилятора скорее наоборот было бы, вот раньше-то мгновенно собиралось, а этим вашим новым компилятором - полчаса

@zhblnd будет жить. Поприветствуем!

> the build times for my language-ats package went from around 7 minutes with GHC 8.4.3 to 1 minute with GHC 8.6.1 странно, я думал, что ни один из ускоряющих компиляцию патчей в 8.6.1 так и не попал

Ну всё, ждём теперь пакет telescope, который компилируется 3 часа на 48Gb

за три года на u-12tb1.metal

Кстати, интересный ход для корпораций. Делать супернужные пакеты, но которые можно скомпилировать, только если у тебя под боком хорошенький кластер. Ну и раздавать .so/.hi-файлы

Ладно, это в _blah

кто угадает, что раньше изобрели (не имплементировали) EmptyDataDecls или GADTSyntax ?

второе?

да, то что сейчас называется GADTSyntax в рассылочке еще в 94-ом обсуждают, а EmptyDataDecls изобретают в ней же в 96-м причем Августссон предлагает data Empty = Вадлер data Empty = empty и только какой-то Ronny Schreur то, как оно сейчас выглядит

но по сути gadts это просто adt + свидетель приводимости

ну тут речь про синтаксис обычных АлгТД в духе тайпклассов

для рекордов синтаксис а ля тайпклассы тоже предлагался

structure Foo where fooX , fooY :: Int structure Foo => ColoredFoo where fooColor :: Color fooColor = const Green -- a default value for the color

Можете подсказать хорошей инфы по монад трансформам kleisli

Arøn будет жить. Поприветствуем!

Можете подсказать хорошей инфы по монад трансформам kleisli

мне, к примеру, непонятно о чём ты спросил. у меня понимание соотношения между монадами, трансформерами и Клайсли такое: (Monad/MT) ~ (Function/Kleisli)

@epoepo будет жить. Поприветствуем!