Исправление
dave,
(текущая версия)
:
Top secret) посмотри реализацию futures-rs. Метод and_then у трейта это и есть знаменитая функция (>>=). А сам трейт - по сути тип монады. Только операции типа and_then приводят к созданию структур, которые снова реализуют трейт. Так мы остаемся в рамках вычисления. Если хотим его продолжить на основе предыдущего, то и вызываем and_then. Там же все на поверхности, просто нужен некоторый базис ФП, чтобы это понимать.
Исходная версия
dave,
:
Top secret) посмотри реализацию futures-rs. Метод and_then у трейта это и есть знаменитая функция (>>=). А сам трейт - по сути тип монады. Только операции типа and_then приводят к созданию структур, которые снова реализую трейт. Так мы остаемся в рамках вычисления. Если хотим его продолжить на основе предыдущего, то и вызываем and_then. Там же все на поверхности, просто нужен некоторый базис ФП, чтобы это понимать.