История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Теперь перейдем к bind. Аналогично введем f.bind’(g)(x)=f(x).bind(g) который по-сути совпадает с bind
Ну это <=< и есть.
ghci> :t (<=<)
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
ghci> :t (=<<)
(=<<) :: Monad m => (a -> m b) -> m a -> m b
Видишь фишку?
Исходная версия
hateyoufeel,
:
Теперь перейдем к bind. Аналогично введем f.bind’(g)(x)=f(x).bind(g) который по-сути совпадает с bind
Ну это <=< и есть.