Perguntas com a marcação «applicative»

Enquanto explico para alguém o que é uma classe de tipo X, luto para encontrar bons exemplos de estruturas de dados que são exatamente X. Então, peço exemplos para: Um construtor de tipo que não é um Functor. Um construtor de tipo que é um Functor, mas não Aplicável. Um …

210 haskell  monads  functor  applicative 

Os candidatos compõem, as mônadas não. O que significa a afirmação acima? E quando um é preferível ao outro?

110 haskell  functional-programming  monads  monad-transformers  applicative 

As typeclasses Haskell da biblioteca padrão MonadPlus, Alternativee Monoidcada uma fornece dois métodos com essencialmente a mesma semântica: Um valor vazio: mzero, empty, ou mempty. Um operador a -> a -> aque une valores na typeclass juntos: mplus, <|>ou mappend. Todos os três especificam essas leis às quais as instâncias …

83 haskell  functional-programming  typeclass  applicative  monoids 

Estou aprendendo os candidatos de Haskell. Parece-me (provavelmente estou errado) que a purefunção não é realmente necessária, por exemplo: pure (+) <*> [1,2,3] <*> [3,4,5] pode ser escrito como (+) <$> [1,2,3] <*> [3,4,5] Alguém pode explicar o benefício que a purefunção fornece sobre o mapeamento explícito fmap?

19 haskell  applicative 

A Applicativeclasse typeclass representa funcores monoidais relaxados que preservam a estrutura monoidal cartesiana na categoria de funções digitadas. Em outras palavras, dados os isomorfismos canônicos que testemunham que (,)formam uma estrutura monoidal: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: …

9 haskell  functor  applicative  category-theory 

Aqui está o post que eu vou me referir . Além disso, vou usar os mesmos trechos do OP nessa pergunta para não separar os materiais . É sabido que uma ArrowApplyinstância produz uma Mônada e vice-versa: newtype ArrowMonad a b = ArrowMonad (a () b) instance Arrow a => …

8 haskell  monads  applicative  category-theory  arrows 

A lei da naturalidade afirma que: t . traverse f == traverse (t . f) -- for every applicative transformer t Agora, para o RHS da lei, se f tem o tipo Applicative a => x -> a y, então t deve ser do tipo (Applicative a, Applicative b) => …

8 haskell  types  applicative  traversable