Resultados da pesquisa a pedido "functor"
Por que um -> a não é um functor?
Referindo-se especificamente a https://bartoszmilewski.com/2015/04/07/natural-transformations/ [https://bartoszmilewski.com/2015/04/07/natural-transformations/] O autor diz "Este não é um functor". Eu posso definirfmap :: (a -> b) -> (a -> a) ...
Por que a classe Functor não possui função de retorno?
Do ponto de vista categórico, functor é par de dois mapas (um entre objetos e outro entre setas de categorias), seguindo alguns axiomas. Eu presumi que o que toda instância do Functor é semelhante à definição matemática, ou seja, pode mapear ...
Por que a função unary_function, binary_ foi removida do C ++ 11?
eu achei aquilobinary_function é removido do C ++ 11. Eu estou querendo saber o porquê. C ++ 98: template <class T> struct less : binary_function <T,T,bool> { bool operator() (const T& x, const T& y) const {return x<y;} };C ++ 11: template ...
Como (fmap. Fmap) verifica
Eu tenho passado por um artigo ( http://comonad.com/reader/2012/abstracting-with-applicatives/ [http://comonad.com/reader/2012/abstracting-with-applicatives/]) e encontrou o seguinte trecho de código: newtype Compose f g a = Compose (f (g a)) ...
Funitores monoidais relaxados com uma estrutura monoidal diferente
Os functores aplicáveis são bem conhecidos e amados entre os Haskellers, por sua capacidade de aplicar funções em um contexto eficaz. Em termos teóricos da categoria, pode ser demonstrado que os métodos deApplicative: pure :: a -> f a (<*>) :: ...
use o n-ésimo elemento em um contêiner, mas com outra chave
Eu tenho dois vetores. Um que realmente contém os dados (digamos, flutua) e outro que mantém os índices. Eu quero passar emnth_element o vetor índices, mas quero que a comparação seja feita pelo vetor que realmente contém os dados. Eu estava ...
Você poderia me explicar os functores do OCaml? [duplicado]
Possível duplicado: Na Programação Funcional, o que é um functor? [https://stackoverflow.com/questions/2030863/in-functional-programming-what-is-a-functor] Não sei muito sobre o OCaml, estudei F # há algum tempo e entendo bastante. Eles dizem ...
Definindo <para o algoritmo de classificação STL - sobrecarga do operador, functor ou função autônoma?
Eu tenho uma lista stl :: contendo objetos da classe Widget. Eles precisam ser classificados de acordo com dois membros na classe Widget. Para que a classificação funcione, é necessário definir um comparador menor que comparar dois objetos ...
Onde vivem os functores std :: bind-created?
Um ponteiro de função pode apontar para qualquer coisa, desde uma função livre, um objeto de função, um wrapper sobre uma chamada de função de membro. No entanto, os functores criados std :: bind podem ter estados, assim como os criados sob ...
Qual é o caso geral da função de promoção do QuickCheck?
Qual é o termo geral para um functor com uma estrutura semelhante à do QuickCheckpromote função, ou seja, uma função da forma: promote :: (a -> f b) -> f (a -> b)(este é o inverso deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> f b)) Existe ...