MB
Если кого-то тоже интересует, нашел вот https://news.ycombinator.com/item?id=8344002
Size: a a a
2020 November 05
IG
Кстати, а вот трансдьюсеры не имеют случайно отношения к монадам, мб кто знает?
Нет, это просто изящное преобразование данных.
O
редьюсеры напоминают алгебры
O
или даже трансформации алгебр
MB
Нет, это просто изящное преобразование данных.
Судя по тому, что я прочитал по ссылке, трансдьюсеры просто используют лист монаду, т.е. это применение конкретной монады
IG
пойду я, пожалуй...
MB
Не надо 😂
O
const filter = predicate => step =>
(a, c) => predicate(c) ? step(a, c) : a;
step это алгебра, filter - нашлёпка над алгеброй, потом это всё уезжает в compose, который эквивалентен катаморфизму
MB
const filter = predicate => step =>
(a, c) => predicate(c) ? step(a, c) : a;
step это алгебра, filter - нашлёпка над алгеброй, потом это всё уезжает в compose, который эквивалентен катаморфизму
Что такое a и c?
O
аккумулятор и текущий элемент, по-видимому
O
MB
аккумулятор и текущий элемент, по-видимому
А, окей, это фильтр через редьюс
O
хотя нет, будь это алгебры и катаморфизмы - там бы step и к a применялся
MB
Я правда никакие алгебры тут не вижу, потому что не шарю в алгебрах
AC
ну, мне не проблема, когда в одном языке fold, в другом reduce
а вот когда некоторая абстракция в явном виде выделена только в единичных языках, с которыми ты не работаешь — то результат
а вот когда некоторая абстракция в явном виде выделена только в единичных языках, с которыми ты не работаешь — то результат
Фолда два разных а редьюс один
ST
Фолда два разных а редьюс один
это частности, не меняющие общий смысл операции
AC
Кстати, а вот трансдьюсеры не имеют случайно отношения к монадам, мб кто знает?
Была какая-то статья на русском. Они объясняются в терминах теории категорий
ST
это частности, не меняющие общий смысл операции
https://en.wikipedia.org/wiki/Fold_%28higher-order_function%29
fold (also termed reduce, accumulate, aggregate, compress, or inject)
ST
https://en.wikipedia.org/wiki/Fold_%28higher-order_function%29
fold (also termed reduce, accumulate, aggregate, compress, or inject)
фолда даже более, чем два 😊