Perguntas com a marcação «functor»

Eu continuo ouvindo muito sobre functores em C ++. Alguém pode me dar uma visão geral sobre o que são e em que casos seriam úteis?

876 c++  functor  function-object  function-call-operator 

Estou procurando as regras que envolvem a passagem de modelos C ++ como argumentos. Isso é suportado pelo C ++, como mostra um exemplo aqui: #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void doOperation() { int temp=0; T(temp); std::cout …

224 c++  templates  code-generation  functor 

Encontrei o termo 'Functor' algumas vezes enquanto lia vários artigos sobre programação funcional, mas os autores normalmente assumem que o leitor já entende o termo. A pesquisa na web forneceu descrições excessivamente técnicas (consulte o artigo da Wikipedia ) ou descrições incrivelmente vagas (consulte a seção sobre Functors neste site …

224 functional-programming  ocaml  functor 

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 

Fechadas. Esta pergunta não atende às diretrizes de estouro de pilha . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Stack Overflow. Fechado há 4 anos . Melhore esta pergunta O F # é derivado do OCaml, mas …

126 f#  ocaml  functor 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Por que temos três funções diferentes que fazem essencialmente a mesma coisa?

102 list  haskell  monads  redundancy  functor 

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 

A categoria de conjuntos é monoidal cartesiano e cocartesiano monoidal. Os tipos de isomorfismos canônicos que testemunham essas duas estruturas monoidais estão listados abaixo: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> …

8 haskell  filter  monads  functor  category-theory