Size: a a a

2021 June 15

X

XÆA-XII in Haskell
И почему в одном случае wrap будет заменой liftF, а в другом - нет?
источник

K

Kir in Haskell
Дааааааа, только нужна либа парсеров с подержкой левой рекурсии
источник

[

[BRM]White Rabbit in Haskell
Это трюк для того, чтоб представить функтор в виде монад
источник

X

XÆA-XII in Haskell
Уже понял
источник

[

[BRM]White Rabbit in Haskell
А есть такие?
источник

K

Kir in Haskell
Есть пейпер, как это сделать в packrat
источник

K

Kir in Haskell
Насчт реализаций - не знаю. Проще обычно взять tree-sitter или генератор LR/LALR парсеров
источник

AM

A M in Haskell
Свободные монады - монады, но свободные. Как с интегралом Лебега, который можно вычислить только если он сводится к интегралу Римана. Так и тут, при сворачивании  с конкретными бинд (джоин) и получится конкретный результат.
источник

Q

Qwerty in Haskell
макарошки
источник

X

XÆA-XII in Haskell
Макарошки фри
источник

K

Kir in Haskell
Свободные монады - это функции уровня типа из чего-то в монады
источник

Q

Qwerty in Haskell
записал на обоях. А есть ли фундаментальные труды по самым rocket-science нюансам Haskell и вообще?
источник

JS

Jerzy Syrowiecki in Haskell
сборники докладов ICFP, HIW и т. п.
источник

Q

Qwerty in Haskell
источник

JS

Jerzy Syrowiecki in Haskell
да
источник

K

Kir in Haskell
Да, блог Кметта и всё, что он пишет на реддите
источник

Q

Qwerty in Haskell
HIW не распарсил
источник

a

adam in Haskell
Ну и твиттеры Джека, Кметта, Жулеша, т.д.
источник

JS

Jerzy Syrowiecki in Haskell
источник

Q

Qwerty in Haskell
Он?
источник