к
другой вопрос, что скорее всего интуиции за этими методами у читателя еще может не быть
Size: a a a
2020 October 08
к
а ок
к
но написал как ответ на другие задачи?
ХГ
Да, на задачи их написать.
к
если да, то это то же самое что и "уже были2
ХГ
Я из написал как ответы на задания, то есть понимал вполне.
ХГ
Но к лямбде тут два прыжка, и мне не ясно, как они сделаны.
к
не, я имел в виду не понимать как они работают, а понимать для чего они нужны
к
потому что с пониманием для чего они нужны функция
ap :: Monad m => m (a -> b) -> m a -> m b
ap mf mx = do
f <- mf
x <- mx
return $ f x
пишется просто элементарно без всяких постзнаний
ap :: Monad m => m (a -> b) -> m a -> m b
ap mf mx = do
f <- mf
x <- mx
return $ f x
пишется просто элементарно без всяких постзнаний
к
потому что тут кроме биндов и нет ничего
к
ну без do-нотации естественно
ХГ
Так в чём понимание-то?.. В ЧЁМ? [бегаю из стороны в сторону]
к
потому что с пониманием для чего они нужны функция
ap :: Monad m => m (a -> b) -> m a -> m b
ap mf mx = do
f <- mf
x <- mx
return $ f x
пишется просто элементарно без всяких постзнаний
ap :: Monad m => m (a -> b) -> m a -> m b
ap mf mx = do
f <- mf
x <- mx
return $ f x
пишется просто элементарно без всяких постзнаний
типа логика тут простая
у нас есть запаковання функция, и запакованный аргумент, а нужен запакованный результат
значит распаковываем, применяем, а потом запаковываем
у нас есть запаковання функция, и запакованный аргумент, а нужен запакованный результат
значит распаковываем, применяем, а потом запаковываем
ХГ
Ну да. Это я и держал в голове, когда писал байнд.
ХГ
Но как тут прыгнуть к лямбде?..
к
к какой лямбде-то
ХГ
Я могу распаковывать pattern matchingом.
к
у тебя есть бинд который принимает функцию
к
какой тут прыжок то
к
функция прямо в сигнатуре написана