я просто не очень знаю как IO работает (пришёл из JS). решение с Eff мне нравится тем, что явно перечислены все эффекты как раз, в виде списка конкретных эффектов, а судя по ишью https://github.com/purescript/purescript/issues/3080 этот список уберут (rows). Или я неправильно понял?

Язык сильно модульный и в самом ядре находятся значительно более абстрактные вещи. Фактически речь идёт просто о контрибьюте в одну из библиотек

а, да, раскопал основное ишью (вроде бы): https://github.com/purescript/purescript-eff/issues/25. всё не так трагично, можно сделать эффекты поверх IO. и, как я понял, это может быть не record а кастомный тип. спасибо!

Супер, спасибо!

идиотский вопрос мб, но не понимаю где R-Algebra в матрешке

вот все, что есть (я еще пока не все из этого понимаю, но не могу разглядеть в этом r-алгебру):

type GAlgebra w f a = f (w a) → a
type GAlgebraM w m f a = f (w a) → m a
type Algebra f a = f a → a
type AlgebraM m f a = f a → m a
type ElgotAlgebra w f a = w (f a) → a

я думал R-алгебра должна быть вида type RAlgebra f a = f (Fix f, a) -> a
(т.е поскольку кортежей нет в ситаксисе, то так type RAlgebra  f a = f (Tuple (Fix f) a) → a, наверное)
можно было бы параметризовать, чтобы убрать конкретно Tuple, но тогда все равно сигнатура будет выглядеть так (и это вроде бы уже не будет R-алгеброй, но ее можно будет сконкструивать так type RAlgebra' f a = Mystery Tuple f a):
type Mystery w f a = f (w (Fix f) a) → a, не  могу понять: я не вижу что из этого в списке R-алгебра, либо ее там нет (?)
читаю вот это сейчас http://blog.sumtypeofway.com/recursion-schemes-part-iii-folds-in-context/, поэтому такой вопрос вообще возник
(т.е. я понимаю, что могу легко определить сам её если нужно)

RAlgebra f a = GAlgebra (Tuple t) f a where t = Fix f
(сам так и не увидел, показали, https://github.com/slamdata/purescript-matryoshka/blob/v0.3.0/src/Matryoshka/Fold.purs#L211)

Ну это general алгебра а RAlgebra это алгебра в параморфизмах

Так что это очевидно что ее можно вывести из GAlgebra

ну да, теперь я вижу)

Вообще все выводимо через gmutu, gcomutu

Ну или для начала хотя бы с mutu, comutu

Кстати это тебе челендж) вывести все от mutu к cata

Ответ кинь мне в личку

ok!

31 час уже считает. (я по меньшим числам прикидывал, что между 50К и 200К секунд будет)

лол

ну я сделал версию iterate хотябы не вылетающей, надо подумать как переписать или оптимизировать сам по себе Data.List.Lazy