История изменений
Исправление monk, (текущая версия) :
Ассоциативной операцией является natural transformation M x M -> M, то есть join.
Как она может быть ассоциативна если (A join B) join C не равно A join (B join C)?
Да и тип у него
join :: Monad m => m (m a) -> m a
Или что есть join в Haskell?
Исправление monk, :
Ассоциативной операцией является natural transformation M x M -> M, то есть join.
Как она может быть ассоциативна если (A join B) join C не равно A join (B join C)?
Исходная версия monk, :
Ассоциативной операцией является natural transformation M x M -> M, то есть join.
Как она может быть ассоциативна если (A join B) join C не равно A join (B join C))?