Запитання з тегом «applicative»

Пояснюючи комусь, що таке клас X, я намагаюся знайти хороші приклади структур даних, які є саме X. Отже, я прошу приклади для: Конструктор типу, який не є Функтором. Конструктор типу, який є функтором, але не є застосунним. Конструктор типу, який є додатком, але не є монадою. Конструктор типу - це …

209 haskell  monads  functor  applicative 

Програми складаються, монади ні. Що означає вищезазначене твердження? А коли одне переважне перед іншим?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Стандартна бібліотека Haskell класів типів MonadPlus, Alternativeі Monoidкожен з них надає два методи з практично тією ж самою семантикою: Пусте значення: mzero, emptyабо mempty. Оператор , a -> a -> aякий з'єднує значення в класі типів разом: mplus, <|>або mappend. Усі три визначають ці закони, яких слід дотримуватися: mempty `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids 

Я вивчаю додатки Haskell Мені здається (я, мабуть, помиляюся), що pureфункція насправді не потрібна, наприклад: pure (+) <*> [1,2,3] <*> [3,4,5] можна записати як (+) <$> [1,2,3] <*> [3,4,5] Чи може хтось пояснити перевагу, яку pureфункція забезпечує над явним відображенням fmap?

19 haskell  applicative 

Клас Applicativeтипу являє собою мляві моноїдні функтори, які зберігають декартову моноїдну структуру на категорії типових функцій. Іншими словами, з огляду на канонічні ізоморфізми, що свідчать про (,)формування моноїдної структури: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) …

9 haskell  functor  applicative  category-theory