А я так и не понял чем монада отличается от моноида, хотя попытался почитать. Везде пишут что монада это функции unit и bind. Разве это не то же самое, что ну нулевой элемент и та самая операция 'a -> 'a -> 'a?
А я так и не понял чем монада отличается от моноида, хотя попытался почитать. Везде пишут что монада это функции unit и bind. Разве это не то же самое, что ну нулевой элемент и та самая операция 'a -> 'a -> 'a?