Стрелка "может помочь" существует и у имбецила, исходя из требования автоморфизма для объектов, так что категория не очень получилась Монада это моноид в категории эндофункторов потому, что для функтора m имеется pure : t -> m t, join : (m×m) t -> m t, плюс законы (взаимодействие pure/return и >=>/∘), т.е. моноид тут в типах 1 -> m и m×m -> m
Стрелка "может помочь" существует и у имбецила, исходя из требования автоморфизма для объектов, так что категория не очень получилась
Монада это моноид в категории эндофункторов потому, что для функтора m имеется pure : t -> m t, join : (m×m) t -> m t, плюс законы (взаимодействие pure/return и >=>/∘), т.е. моноид тут в типах 1 -> m и m×m -> m
🤯🤯🤯
❤❤❤
F# |> (I love)
Всё таки Scala - более приятный язык....
Блин, „...расслабит...“!