что такое трансдьюсер?

Бросай это дело. Сейчас вэб-технологии в моде, а не эти ваши хер-пойми-что

https://habr.com/post/325388/

Он не правильно понимает это как композицию функций. Композиция и раньше была, зачем придумывать новое понятие?

Композиция и раньше была, зачем придумывать новое понятие?

Ну так композиция функций - это функция. Зачем придумывать новое понятие?

Трансдьюсер - это не композиция. Композиция - это функтор (функция от функций).

Композиция - функция от двух или более функций. Трансдьюсер - внезапно, тоже.

«Transducers are composable algorithmic transformations.» (С) Капитан Очевидность.

Можете посмотреть вот это проект -

https://github.com/cognitect-labs/transducers-java

Функтор - это отображение между категориями ([int] -> [string]), а композиция - это, внезапно, комбинирование функций.

Трансдьюсер - это тоже самое, что и композиция, но без создания промежуточных результатов.

Биореактор хорошую тебе ссылку кинул.

Функция от функций - это функционал, а не функтор.

Функтор - это отображение между категориями ([int] -> [string])

Написано довольно неряшливо. Функтор в данном случае это a -> [a]

Это ты монаду написал.

И чо за «данный случай» тоже не понятно.

Биореактор хорошую тебе ссылку кинул

«Пока писал это, понял, что я недостаточно компетентен в этой области. Все, что могу сделать — дать ссылку на статью про трансдьюсеры от Рича Хикки — их создателя»

Зашибись. Нахрена писать такие тупые статьи?

Нет.

Например (map inc) - это трансдьюсер, а (comp f1 f2 f3) - нет.

Эм, ты о чем вообще? Там либа жавовская же, какая статья?

https://habr.com/post/325388/

С утра не то написал, шо хотел. Ты сигнатуру return написал. А функтор как раз A -> B ну или как я пример привёл [int] -> [string].

Я не читаю швабр, тебе Биореактор другую ссылку оставил.

Я перепутал.

Композиция - функция от двух или более функций. Трансдьюсер - внезапно, тоже.

Нет.

Что именно «нет» - трансдьюсер не является композицией функций? Скажи об этом Ричи:

http://blog.cognitect.com/blog/2014/8/6/transducers-are-coming

transducers compose using ordinary function composition.

Функтор - это отображение между категориями

Можешь написать, между какими именно категориями?

И чо за «данный случай» тоже не понятно.

В случае списка

тогда бы написали

transducers are ordinary function composition

А. Ну, удачи тебе разобраться.

Композиция частично вычисленных (partial) свёрток.

Можешь написать, между какими именно категориями?

Между любыми.

В случае списка

Ты написал return. return - это не отображение, это преобразование Id функтора в M функтор (X -> M X).

Можешь написать, между какими именно категориями?

Между любыми.

Пример любых можно?:) Для списка хотя бы

A - любая категория, B - любая категория.

В хаскелле у тебя только одна категория типов Hask. Какие ты хочешь категории для монады от меня узнать, я не понимаю честно. Расписать мне все стрелки для списка, шоли? :)

Ну т.е. ты бы написал, что ты хочешь сказать, мож я чо путаю %)

Ок, принято =) Я просто хотел убедиться, что ты понимаешь, о чём говоришь. Потому что из твоей первой фразы, к которой я прицепился

Функтор - это отображение между категориями ([int] -> [string])

Легко сделать ошибочный вывод, что «категории» в данном случае это [int] и [string].

Хотя таких категорий нет, и функтор-список отображает типы a в [a] и стрелки a -> b в [a] -> [b]. Категория тут везде одна, фиксированная, которая содержит в качестве объектов все типы (Hask).

Да, ты прав, надо было понятней мне написать. :)

Да, ты прав, надо было понятней мне написать. :)

Не стоит беспокоиться. За упоротыми дискуссиями о функторах никто особо не следит.

Свертка - это редьюсер (reduction function)?

Я напутал.

Редуктор (по-русски это правильнее, чем «редьюсер») — это функция, вычисление, которым оперирует свёртка. Свёртка является функциональным аналогом цикла с аккумулирующей переменной, которая накапливает промежуточные результаты, а на выходе даёт итоговый результат, так? Тогда редуктором будет тело цикла как особое вычисление, которое должно результат своей работы помещать в аккумулирующую переменную. Но в функциональном мире нет изменяемого состояния, поэтому появляется такое ограничение, что функция-редуктор должна принимать промежуточный результат и возвращать его (в измененном виде) — это будет аналогом аккумулирующей переменной. То есть типовой редуктор имеет вид:

def reducer(accum_res, i):
    res = ...
    update_accum_res(accum_res, res)
    return accum_res

Трансдьюсер, трансдуктор, transducer, TRANSform reDUSERs, по тому, что я изучил, выглядит изобретением велосипеда. По сути это обычный питоний декоратор, но особого рода. Проще всего показать на грубом схематичном примере:

def transducer(reducer):
    def inner(reducer1):
        def inner1(reducer2):
            ...
            def innerN(reducerN+1, i):
                res = reducerN+1(reducerN(...(reducer(init, i))))
                return res
            return innerN
            ...
        return inner1
    return inner

В ФП декораторы, кстати, успешно заменяются каррированными функциями. И в каком-нибудь хаскелле такие вещи, вполне возможно, вообще тривиальны).

Проще всего показать на грубом схематичном примере:

Напортачил, но лень исправлять.

Не стоит беспокоиться. За упоротыми дискуссиями о функторах никто особо не следит.

Отнюдь. Я например следил за мыслью.

Ну ОК. Правда, это не опровергает мои слова.

Твои слова, емнип, ничего особо не опровергает впринципе, так что ничего нового ты не сказал сейчас.