Я читаю книжкуHaskell Programming и не совсем понял вот это

Question

Я читаю книжкуHaskell Programming и не совсем понял вот это

предложение: "Applicative, we saw, is a monoidal functor, and gives us a way to
transform any values contained within a structure using a function
that is also embedded in structure. This means that each application
produces the effect of adding structure which is then applicatively
combined."

Мне кажется что добавления структуры (adding structure) не происходит, а структура остается той же, но добавлются новые значения. Чтобы структура добавилась мы должны по меньшей мере испльзывать либо новый тип либо новы конструктор, например A1 x <*> А2 y = A3 z. Если А1, А2, А3 имеют один и тот же тип (или конструктор) то никакого наращивания структуры не проишодит. Как минимум должно быть А3 не равно А1 и А2 на уровне типов (кнострукторов). Теоритически это возможно цтобы результатом действия <*> был новый тип ( через type family), но это не типично ( не правда ли, посколько требует определениия аппликатива н семействе типов?)/ поскажите что автор имелл ввиду под трмином приращение структуры (adding structure). Applicative почти что моноид, то из самого определения мноида структура не добавляется. Если мы "сложим два элемента моноида, то получим третий элемент, структурно не отличающийся от "слагаемых" Да эффект наращивается но структура (контэинер) остается неизменной

#haskell #programming #russian

0

26.09.2023

8 ответов

65 просмотров

Kirill Valyavin

Похоже, имеется в виду, что добавляется аппликативная структура над обычными значениями

0

27.09.2023

TOV_MULTIMASSO

Лично я просто использую аппликатив, когда мне не нужно, чтобы вычисления зависели друг от друга по результатам.

0

27.09.2023

Cheese Syrowiecki

TOV_MULTIMASSO
Лично я просто использую аппликатив, когда мне не ...

а не наоборот? когда зависят друг от друга — монада, когда не зависят, аппликатив

0

27.09.2023

Nick By Автор вопроса

TOV_MULTIMASSO
Лично я просто использую аппликатив, когда мне не ...

Не могли бы вы привести пример, когда вычисления зависят друг от друга в начале, но не зависят по результатам. Мне приходит в голову Функтор Either . Когда в процессе вычислений проишодит ошибка, и значение или домайн функции отбрасывается.

0

27.09.2023

Алексей Худяков

Nick By
Не могли бы вы привести пример, когда вычисления з...

лучше сказать мы знаем зависимости статически

0

27.09.2023

TOV_MULTIMASSO

Nick By
Не могли бы вы привести пример, когда вычисления з...

fmap :: (a -> b) -> f a -> f b ^ можем только модифицировать "результат" (<*>) :: f (a -> b) -> f a -> f b ^ функция , "возвращаемая" из f (a -> b), не может знать про эффекты f a, т.к., она чистая (>>=) :: f a -> (a -> f b) -> f b ^ a -> f b теперь может зависеть от эффектов, так как из неё возвращается f b

0

27.09.2023

Cheese Syrowiecki

Nick By
Не могли бы вы привести пример, когда вычисления з...

«зависят друг от друга в начале, но не зависят по результатам» что это вообще значит? можно пример?

0

27.09.2023

dima dima · Accepted Answer

dima dima

может быть что-то подобное? [(2*),(2+)] <*> [1,2,3] > [2,4,6,3,4,5]

0

27.09.2023

169 похожих чатов

Я читаю книжкуHaskell Programming и не совсем понял вот это

8 ответов

Похожие вопросы