кого-нибудь? Тут почему-то пропускается, в курсе Москвина непонятно
попробуйте представить Reader как функцию со скрытым аргументом
байнд соединяет два вычисления в одном контексте, то есть с одинаковым скрытым аргументом
(>>=) :: (e -> a) -> (a -> e -> b) -> e -> b f >>= cont = \e -> cont (f e) e
Было бы понятно, как это использовать..
Обсуждают сегодня