При конкатенации

похоже

Вроде тот же принцип, но лучше если меня поправят или подтвердят

Значит я вроде +/- понимаю это

Но не сильно

можешь статью reflection without remorse почитать

++

уже гуглю! спасибо

Free монады, по сути, - это такая структура данных, куда ты можешь положить отдельную операцию из своего языка, и еще продолжение, где будут лежать все остальные операции. Если ты определил свой сценарий из 1 операции, то в продолжении будет стоять "заглушка". У обычной Free монады это значение Pure. Если ты взял две операции и связал их через bind, этот bind положит одну операцию в продолжение другой. У обычной Free монады это значение Bind.

haskell
data Free f a
  = Bind f (Free f a)
  | Pure a

В обычной Free при связывании двух монадических цепочек получается, что функции bind нужно пройти всю первую цепочку, чтобы добраться до самого глубокого "терминального" Pure, и положить в этот continuation вторую цепочку

хм я думал это не олег

Так образуется квадратичная сложность

Спасибо)

Техника общая, она и в стриминговых библиотеках хорошо зашла

У Church Encoded другая внутренняя структура, ей не нужно, чтобы bind проходил насквозь первую цепочку операций

Ну да, как конкатенация при длинном первом списке

Ишь как обрадовался то

Да, именно

Ну всё, я понял фри монады С: