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 будет жить. Поприветствуем!

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

Курсы на stepik хороши

(удалён ненужный спам, сорри)

а у нас поверх криптонита есть какие-нибудь утилиты для случайных вещей

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

и есть Entropy Pool

я могу как-то объединить это и получить результат?

почему у Data.Text нету чего-то типа iterateN для создания

только unfoldr в котором аккумулятор надо таскать руками

почему у Data.Text нету чего-то типа iterateN для создания

некогда писать итератен-ы, надо на велосипеде ехать

гринтеховцы, конечно, недостатком амбиций не страдают > mvp grin: - compiled abstract interpretation - recursion scheme - LLVM phd grin (Haskell): - GHC frontend - optimisations - tracing GC final grin (Haskell): - llvm types in GHC (i.e. SIMD vector) - memory layout control in GHC - ASAP compile time memory management (no GC) - fast compilation (via parallel transformations and abstract compilation) - memory debugger after final: - agda frontend - idris frontend - chunky recursive data transformations (for cache efficiency) (https://en.wikipedia.org/wiki/CDR_coding) (DPH Vectorisation + NESL / SPMD) - spmd compilation (kmett @ zurihac 2017) - fast jit + parallel optimisation / recompilation + runtime data migration possible impact: - applications in performance critical domains: games, graphics, scientific calcualtions - better score in benchmark game - performance: haskell quake =?= c quake The combination of GRIN, LLVM and ASAP memory management can prove that high performance computing is feasible in a high level language like Haskell.

не надо video message..

Подскажите плиз у меня есть Maybe a и я хочу по ней сделать Fold. То есть отдать две функции Nothing -> t и a -> t и получить на выходе t. Это по сути эквивалентно обыкновенному паттерн матчингу. Есть ли такая возможность?

Вопрос вродеб дурацкий но чего то дефолтного я не нашел чтобы такое поведение описать

https://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v:maybe

в общем случае такая функция называется элиминатором

А ещё есть такое название: case analysis

maybe, either, bool - вот эти

Nothing -> t - "слегка бесполезная" функция

За исключением этого maybe, на которую выше ссылку дали, должна подойти

Nothing -> t - "слегка бесполезная" функция

имелось в виду наверное просто t

И я о том же

Подскажите плиз у меня есть Maybe a и я хочу по ней сделать Fold. То есть отдать две функции Nothing -> t и a -> t и получить на выходе t. Это по сути эквивалентно обыкновенному паттерн матчингу. Есть ли такая возможность?

если тебе нужно именно способ автоматически выводить фолды из любых дата-типов, то посмотри в сторону рекурсивных схем я сейчас еще пробую через generic выводить в очень ограниченных случаях может даже Foldable подойти

^ http://hackage.haskell.org/package/catamorphism-0.7.0.0

ну на TH там есть несколько реализаций, а на генериках не нашел

ну для фолдов для любых типов есть дерайвинги из коробки

ну для фолдов для любых типов есть дерайвинги из коробки

ему нужны нормальные элиминаторы, дуальные типу, а не натягивание фолдов списков на другие типы

f(S a, r) = [a] f(a :*: b, r) = f(a) ++ f(b) f(C ss, r) = [g(f(ss), r)] f(a :+: b, r) = f(a) ++ f(b) f(D cs, r) = g(f(cs), r) g([], r) = r g((x:xs), r) = x -> g(xs, r) elim(a) = forall r. f(Rep(a), r) вывод фолда из генерика вроде такой будет, попробую реализовать теперь

ему нужны нормальные элиминаторы, дуальные типу, а не натягивание фолдов списков на другие типы

я думаю, ему просто нужен был maybe :)

ну про maybe мне кажется он бы нашел и сам, надеюсь вопрос был обобщенный и потом специализирован перед отправкой сюда

ему нужны нормальные элиминаторы, дуальные типу, а не натягивание фолдов списков на другие типы

что-то вроде такого? http://hackage.haskell.org/package/generic-church

да, думаю да

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

а лол нет, нужно заменять рекурсию еще

@kana_sama а как вскод удобно подсвечивает? // оффтоп