Результаты поиска по запросу "applicative"
эквивалентность между аппликативным функтором и монадой
Люди говорят, что монады являются продолжением аппликативных функторов, но я нене вижу этого. Позволять'Возьмем пример аппликативного функтора:
Haskell - Является ли порядок эффектов детерминированным в случае Applicative?
При выполнении действия ввода-вывода, определенного
Примеры монады, чья аппликативная часть может быть лучше оптимизирована, чем часть монады
В одной дискуссии я слышал, что
Лакс моноидальные функторы с другой моноидальной структурой
Аппликативные функторы хорошо известны и любимы среди хаскеллеров за их способность применять функции в эффективном контексте.В терминах теории категорий мож...
Должен ли я реализовать Applicative и Functor для реализации Monad
Я пытаюсь реализовать экземпляр Monad. В качестве более простого примера предположим следующее:
Я подозреваю, что некоторые из тех случаев в загадке отличаются последовательностью эффектов. (Кроме того, мне интересно, как это отразится на выгодной позиции, взятой здесь ответом Конора.)
кативный моноидальный функтор: mappend :: f -> f -> f $ :: (a -> b) -> a -> b <*> :: f(a -> b) -> f a -> f bНо я не вижу никакой ссылки на Monoid в определении класса типов Applicative, не могли бы вы сказать, почему? Определение: class ...
ascii-table.com/pronunciation-guide.php
леднее время я пользуюсь аппликативным (и альтернативным) способом, и одна вещь, которая меня расстраивает, - это мое отсутствие знаний о номенклатуре. В качестве примера я хотел бы сказатьfunction name вместоstar thing за<*>, Итак, во многом так ...
эквивалентность между аппликативным функтором и монадой
Люди говорят, что монады являются продолжением аппликативных функторов, но я этого не вижу. Давайте рассмотрим пример аппликативного функтора:(<*>) :: f(a->b) -> f a -> f b [(+3)] <*> [2,3,4]Теперь я также ожидаю, что могу сделать то же самое, ...
Haskell - Является ли порядок эффектов детерминированным в случае Applicative?
При выполнении действия ввода-вывода, определенногоsomeFun <$> (a :: IO ()) <$> (b :: IO ()), является выполнениеa а такжеb действия заказаны? То есть могу ли я рассчитывать на этоa выполняется раньшеb является? Для GHC я вижу, что IO реализован ...