Что свисает из монады (перевод смысла)?

Question

[Александр Скуснов]

Ребята, можете перевести, что там свисает (hang off)?
(>=>)
:: Monad m
=> (a -> m b) -> (b -> m c) -> a -> m c
flip (.)
:: (a -> b) -> (b -> c) -> a -> c
It’s function composition with monadic structure hanging
off the functions we’re composing.

---
ещё был тег "перевод с английского", но он исчез

Answer 1

[wiz]

Результатами функций под композицией являются значения завёрнутые в данные монады m.

Comments

[Александр Скуснов]

А где слово "результат"?

[wiz]

Александр Скуснов, в `->`

В первом примере берут аргумент (a, b) и возвращают (->) результат (b, c) завёрнутый в монаду `m` (m b, m c).

Во втором то же самое, только без заворачивания результатов в `m` (а аргументы и так чистые).

Вот это заворачивание/структура и "свисает". Я бы выкинул свисание нафиг - это не термин, а довольно непрозрачная аллюзия.