[
В ду-нотации, когда тебе нужен много где нужен какой-то env, который нигде не меняется
Size: a a a
2021 December 02
[
Ну, вернее, мы можем менять env для внутренних вызовов с помощью local
[
Я так делал интерпретатор лиспа - в ридере лежат все объявленные переменные, а при запуске лямбды мы через local изменяем окружение ридера на то, которое нужно этой самой лямбде для работы, т.е. захваченные ей переменные.
[
А по выходу из лямбды у нас снова старый env, даже делать ничего не надо - удобно!
[
Или вот ещё пример: я в ридере хранил полученный по сети конфиг с нужными значениями аля цвет, различные настройки, вкл/выкл опций
Д
. для Reader?
[
Всм?
Д
Ну как . для обычных функций
DG
Ну посиди, поугадывай! Почему ты решил, что должно быть легко помогать людям?)
[
Нет, как (&)
(&) :: a -> (a -> b) -> b
(>>=) :: Monad m => m a -> (a -> m b) -> m b
(&) :: a -> (a -> b) -> b
(>>=) :: Monad m => m a -> (a -> m b) -> m b
Д
Вроде нормально спросил..
Д
Спасибо, утром встану и еще раз перечитаю
[
. для "ридер" (на самом деле монад) это <=< (и его перевернутая версия >=>)
(.) :: (b -> c) -> (a -> b) -> a -> c
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
(.) :: (b -> c) -> (a -> b) -> a -> c
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
E
Мне помогло на листочке выписать как
>>= и return определяется для (->) a и затем попробовать там же на листочке вывести (+2) >>= (*5)DG
"там же на листочке вывести
Если не секрет, что вышло в итоге?)
(+2) >>= (*5)"Если не секрет, что вышло в итоге?)
A
что-то вроде \x -> (x + 2) * 5
DG
Вряд ли)
A
а, да, типы не сходятся
A
надо (+2) >>= (*)
DG
Зачем подсказываешь)