Resultados de la búsqueda a petición "category-theory"
¿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) -> ...
¿Cómo debería ser una clase de "orden superior transitable"?
Enesta respuesta [https://stackoverflow.com/a/44186072/7951906]Inmediatamente inventé algo que se parece un poco a un "orden superiorTraversable": me gustaTraversable pero para functors de la categoría de endofunctors en Hask to Hask. {-# ...
¿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 -> ...
Plegable, monoide y mónada
Considere la siguiente firma defoldMap foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> mEsto es muy similar a "vincular", solo con los argumentos intercambiados: (>>=) :: Monad m => m a -> (a -> m b) -> m bMe parece que, por lo tanto, ...
¿Hay una mónada que no tenga un transformador de mónada correspondiente (excepto IO)?
Hasta ahora, cada mónada (que se puede representar como un tipo de datos) que he encontrado tenía un transformador de mónada correspondiente, o podría tener uno. ¿Existe una mónada que no pueda tener una? O¿Todas las mónadas tienen ...
¿Diferencia entre las mónadas libres y los puntos fijos de los funtores?
estaba leyendohttp://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html donde un árbol de sintaxis abstracta se deriva como la mónada ...
¿Cuáles serían los métodos de una bi-comonad?
Mientras reflexiona sobre qué clase estándar más útil sugerira este [https://stackoverflow.com/a/40833245/745903] class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num ...
¿Cuál es la relación entre profunctores y flechas?
Aparentemente, cadaArrow es unStrong [https://hackage.haskell.org/package/profunctors-4.3.2/docs/Data-Profunctor.html#t:Strong] profunctor En efecto^>> [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Arrow.html#v:-94--62--62-] y>>^ ...
Lista basada en la extensión Kan correcta
En el ``Extensiones Kan para la optimización del programa [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf]'' por Ralf Hinze, existe la definición del tipo Lista basada en la extensión Kan correcta del functor olvidadizo de la categoría de monoides en ...
Página 1 de 2