functor

F# se deriva de OCaml, pero ¿qué elementos principales faltan o se agregan? Específicamente, tengo curiosidad por saber si los recursos disponibles para aprender OCaml también son útiles para alguien que quiere aprender F#.

Estoy buscando las reglas que implican pasar funciones de plantillas de C++ como argumentos. Esto es soportado por C++ como ... eration<add3>(); Los punteros a un enlace web o dos, o una página en el libro de plantillas de C++ serían apreciados!

Sigo escuchando mucho sobre funtores en C++. ¿Puede alguien darme una visión general de lo que son y en qué casos serían útiles?

Me he encontrado con el término 'Functor' varias veces mientras leía varios artículos sobre programación funcional, pero los ... uzadas en marcha: Me refiero específicamente a los Funtores de la programación funcional, no a los objetos de función de C++.

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b ¿Por qué tenemos tres funciones diferentes que hacen esencialmente lo mismo?

He estado leyendo sobre mónadas en teoría de categorías. Una definición de mónadas usa un par de funtores adjuntos. Una mónad ... gorías, pero no he visto ninguna explicación de las mónadas Haskell en términos de funtores adjuntos. ¿Alguien lo ha pensado?

Una discusión surgió recientemente en el trabajo sobre los Conjuntos, que en Scala soportan el método zip y cómo esto puede c ... ntor? ¿Cuáles deberían ser las leyes para Eq, y cómo interactúan con las leyes para Functor y la instancia Set en particular?

A Foldable instance es probable que sea algún tipo de contenedor, y por lo tanto es probable que sea un Functor también. De h ... ejemplo de un Foldable que no es naturalmente un Functor o un Traversable? (que quizás la página wiki de Haskell perdió: -))

Estoy tratando de aprender Haskell y estoy a través de todos los conceptos básicos. Pero ahora estoy atascado, tratando de co ... es mucho pedir, pero ¿podría alguien darme una explicación en inglés simple de los funtores o tal vez un caso de uso simple?

Estoy tratando de usar una biblioteca de C en una aplicación de C++ y me he encontrado en la siguiente situación (conozco mi ... nción que necesita la función C. ¿Hay alguna manera de usar el funtor C++ como puntero de función para pasar a la función C?

import Control.Applicative main = print $ fmap (*2) (1,2) Produce (1,4). Esperaría que produjera (2,4) pero en cambio la f ... e la tupla. Actualizar Básicamente he descubierto esto casi de inmediato. Voy a publicar mi propia respuesta en un minuto..

Un Haskell tiene un ejemplo sobre los funtores. Puedo leer a LYAH, y enviar mensajes de texto, y averiguar qué se supone que ... i f no se está utilizando en la definición superior, entonces qué más restringe x de tal manera que no puede satisfacer Left

En mi tiempo libre estoy aprendiendo Haskell, así que esta es una pregunta para principiantes. En mis lecturas me encontré c ... iba): el d debe ser el segundo parámetro, no ¡el primero! Así que no podemos mapear sobre Left. Es mi razonamiento correcto?

La documentación para Free dice: Un número de mónadas comunes surgen como mónadas libres, Dado data Empty a, Fre ... en uno más: Creo que Free (Const e) es isomorfo a Either e. Editar: ¿Qué mónadas son no expresables usando Free y por qué?

Estoy un poco confundido, y necesito a alguien que me aclare. Vamos a esbozar mi comprensión actual: Donde E es un endofunt ... equivocado, y simplificando demasiado esto de alguna manera, y me gustaría que alguien me dijera lo idiota que soy. Gracias.

Recientemente descubrí que en C++ se puede sobrecargar el operador "llamada a función", de una manera extraña en la que hay q ... ss A { int n; public: void operator ()() const; }; Y luego úsalo de esta manera: A a; a(); ¿Cuándo es útil esto?

Como se describe esta pregunta / respuestas, Functor las instancias se determinan de forma única, si existen. Para las list ... los anteriores son únicos, estaría interesado en saber por qué, para tenga una pista de una prueba. Si no, un contra-ejemplo.

El ejercicio 5 de Haskell Typeclassopedia Sección 3.2 pide una prueba o contraejemplo sobre la declaración La composició ... p :: (a -> b) -> f' a -> f' b, y eso realmente no parece componible. Entonces, ¿qué significa componer dos Functors?

¿Puede alguien explicar qué es un funtor y proporcionar un ejemplo sencillo?