Resultados de la búsqueda a petición "functor"

2 la respuesta

¿Dónde viven los fundores creados por std :: bind?

Un puntero de función puede apuntar a cualquier cosa, desde una función libre, un objeto de función, un contenedor sobre una llamada de función miembro. Sin embargo, los functores creados por std :: bind pueden tener estado, así como los creados ...

3 la respuesta

¿Cuál es el caso general de la función de promoción de QuickCheck?

¿Cuál es el término general para un functor con una estructura similar a la de QuickCheck?promote función, es decir, una función de la forma: promote :: (a -> f b) -> f (a -> b)(esta es la inversa deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> ...

1 la respuesta

Pasar un objeto de función C ++ a la función pthread_create como rutina de subproceso

Sé que la rutina de subproceso que se pasa a pthread_create API tiene el prototipo de void *threadproc(void *).Me preguntaba si es posible usar un objeto de función C ++ como una rutina de subprocesos. Aquí está mi código: Ejecución :: ...

5 la respuesta

degradar boost :: función a un puntero de función simple

desea pasar boost :: bind a un método que espera un puntero de función simple (misma firma). typedef void TriggerProc_type(Variable*,void*); void InitVariable(TriggerProc_type *proc); boost::function<void (Variable*, void*)> triggerProc ... ...

1 la respuesta

¿Por qué un -> a no es un functor?

Refiriéndose específicamente a https://bartoszmilewski.com/2015/04/07/natural-transformations/ [https://bartoszmilewski.com/2015/04/07/natural-transformations/] El autor dice "Esto no es un functor". Puedo definirfmap :: (a -> b) -> (a -> a) -> ...

3 la respuesta

¿Debo implementar Applicative y Functor para implementar una mónada?

Estoy tratando de implementar una instancia de Monad. Como ejemplo más simple, suponga lo siguiente: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>= f = Notheeng Juust x >>= f = f x fail _ = ...

2 la respuesta

"No puede abstraer existencialmente sobre el tipo parametrizado ..."

Estaba jugando con Scala 2.8 por diversión y tratando de definir unchulo [http://www.artima.com/weblogs/viewpost.jsp?thread=179766]que agrega un método "como" para escribir constructores, lo que permite convertir de un functor a otro (por favor, ...

3 la respuesta

¿Cómo simplificar las llamadas de mapa anidadas?

Supongamos que tengo algunos functores anidados, p.List[Option[Int]] y necesito llamar almap del más interno. Ahora estoy usando anidadomaps: scala> val opts: List[Option[Int]] = List(Some(0), Some(1)) opts: List[Option[Int]] = List(Some(0), ...

10 la respuesta

Deje que los funk de Haskell se hundan.

Learn You a Haskell [http://learnyouahaskell.com/making-our-own-types-and-typeclasses#the-functor-typeclass] tiene un ejemplo sobre functors. Puedo leer LYAH y mensajes de texto, y averiguar qué se supone que sucederá, pero no sé lo suficiente ...

11 la respuesta

¿Por qué anular el operador ()?

En elSeñales de refuerzo [http://www.boost.org/doc/html/signals.html]biblioteca, están sobrecargando el operador (). ¿Es esta una convención en C ++? ¿Para devoluciones de llamada, etc.? He visto esto en el código de un compañero de trabajo ...