VB
Понял, спасибо
Таким образом, pure положит ( f a b ) в аппликативный функтор?
Таким образом, pure положит ( f a b ) в аппликативный функтор?
Понял, спасибо
Таким образом, pure положит ( f a b ) в аппликативный функтор?
Size: a a a
2021 January 14
A
Ну да. На выходе из liftA2 будет тот-же функтор что был на входе.
VB
Спасибо!
A
Спасибо!
Мне кажется do нотация там приведена просто чтобы показать последовательность эффектов. Что сначала эффект превого функтора, потом второго.
VB
Да, мне просто тяжело было понять сразу как используется <*> и pure
Я только добрался до раздела аппликативных функторов в книге, решил проглядеть в доке что это такое сначала
Я только добрался до раздела аппликативных функторов в книге, решил проглядеть в доке что это такое сначала
AP
А вот у меня тут возник дурацкий вопрос. У меня есть некоторая функция, которая ищет разные варианты работы со стейтом. То есть f :: [State World ()]. Внутри есть несколько вариантов ветвления и исходя из этого получается дерево разных конечных результатов. Но некоторые действия являются независимыми и "сделать а, потом сделать б" приводит к ровно тому же результату, что и наоборот. То есть я хочу чтобы у меня реально разветвленные вычисления сливались обратно, если стейт оказывается одинаковым. Это надо самому садиться и реализовывать instance Monad для такой моей конструкции?
Практически никогда не нужно делать свои инстансы для Monad. Отсечку дублей лучше сделать во внешнем коде.
A
Да, мне просто тяжело было понять сразу как используется <*> и pure
Я только добрался до раздела аппликативных функторов в книге, решил проглядеть в доке что это такое сначала
Я только добрался до раздела аппликативных функторов в книге, решил проглядеть в доке что это такое сначала
pure поднимает значение в функтор.
<*> применяет функцию из одного функтора к значению в другом при этом применяя эффекты
<*> применяет функцию из одного функтора к значению в другом при этом применяя эффекты
AP
Мне кажется do нотация там приведена просто чтобы показать последовательность эффектов. Что сначала эффект превого функтора, потом второго.
Это (последовательность) не гарантируется
AP
Именно поэтому Аппликатив может параллелиться
A
Это (последовательность) не гарантируется
Разве? Если у тебя 2 врайтера и делаешь liftA2 у тебя не гарантируется результат?
AP
Как инстанс решит, так и будет
AP
Тип
<*> не гарантирует порядокAP
А тип
>>= — гарантируетA
ну сейчас у меня реализовано именно в виде
f :: World -> [State World ()]
f currentWorld = do
whatToDo <- possibleActions
let updatedWorld = execState whatToDo currentWorld
if gotResult updatedWorld
then pure whatToDo
else (whatToDo >>) <$> f updatedWorld
A
А тип
>>= — гарантируетТам про зависимость следущего эффекта от значения вычисления предыдущего.
A
и в такой ситуации я не вижу ветвлений. А их там слишком много, чтобы "все посчитать, потом отсечь"
AP
Там про зависимость следущего эффекта от значения вычисления предыдущего.
Это одно и то же
AP
Зависимость форсит порядок. Даже для
>>AP
Написать такой инстанс
Applicative для Writer, при котором порядок записи будет обратным, легко. Потому что <*> не запрещаетAP
Инстанс Monad с обратным порядком эффектов уже сделать сложнее