?

Log in

No account? Create an account

_xacid_

Композиция монад

Композиция монад

Previous Entry Share
А что правда если есть дистрибутивность двух монад FG => GF то композиция этих монад - тоже монада?

https://en.wikipedia.org/wiki/Distributive_law_between_monads

In general, there is no natural monad structure on the composite functor ST. However, there is a natural monad structure on the functor ST if there is a distributive law of the monad S over the monad T.

Так это что монадные трансформеры не нужны?
  • Почему же не нужны, эта дистрибутивность не для любой пары монад имеет место. Скажем, Except над State не сохраняет значение состояния при вылете, а State над Except сохраняет.
    • ну это, наверное, и выражается через существование этого закона для конкретной пары функторов.

      но что самое интересное - дистрибутивность применима не только к паре двух монад но и к паре монада+комонада
Powered by LiveJournal.com