Господамы, какие есть лаконичные и красивые способы писать вложенные fold-ы? говоря

Question

Господамы, какие есть лаконичные и красивые способы писать вложенные fold-ы? говоря

по-попростому, чтобы код не уезжал вправо или чтобы не нужно было писать по отдельной функции на каждый фолд и передавать пачкой то, что можно было получить из скоупа.

что-то похоже на то, как вложенные fmap-а можно завернуть в монадный интерфейс или в list comprehension (что одно и то же).

есть ли подобный трюк для вложенных fold-ов?

#haskell #programming #russian

0

29.04.2022

15 ответов

22 просмотра

Zygohistomorphic Prepromorphism🇺🇦

кана
(foldMap . foldMap . foldMap) f

ребиндабл где bind = foldMap? или же свой do

0

29.04.2022

Alex Автор вопроса

кана
(foldMap . foldMap . foldMap) f

а если тип "стейта" у каждого фолда свой?

0

29.04.2022

кана

Alex
а если тип "стейта" у каждого фолда свой?

тогда какие же это вложенные фолды, можно пример?

0

29.04.2022

Cheese Syrowiecki

Alex
а если тип "стейта" у каждого фолда свой?

тип аккумулятора?

0

29.04.2022

Alex Автор вопроса

Cheese Syrowiecki
тип аккумулятора?

да

0

29.04.2022

кана

про вложенные фмапв не понял бтв, там такая же проблема без решений

0

29.04.2022

Alex Автор вопроса

кана
тогда какие же это вложенные фолды, можно пример?

что-то такое https://gist.github.com/oshyshko/fc0560761f3af68c9aa70eefeb7fdad9

0

29.04.2022

Dreamerinnoise

Alex
что-то такое https://gist.github.com/oshyshko/fc05...

как будто в жс попал с колбек хеллом

0

29.04.2022

Alex Автор вопроса

Dreamerinnoise
как будто в жс попал с колбек хеллом

я старался ) какие есть красивые способы переписывать такую хрень?

0

29.04.2022

Nutritional Rabbit

Alex
что-то такое https://gist.github.com/oshyshko/fc05...

а все вот эти db123456 необходимы?

0

29.04.2022

Alex Автор вопроса

Nutritional Rabbit
а все вот эти db123456 необходимы?

нет, можно их зашедовить. там сам гловное, это: - есть 3 foldl (forFold) - каждый вложенный фолд собирает что-то для внешнего (это что-то встраивается в вывод) - типы аккумуляторов в 3 фолдах разные (и структура может быть очень разной, не обязательно, что это Tuple3 с Db на первом месте, инпутом на втором etc.)

0

29.04.2022

Nutritional Rabbit

Alex
что-то такое https://gist.github.com/oshyshko/fc05...