Resultados de la búsqueda a petición "category-theory"
What does “coalgebra” mean in the context of programming?
He escuchado el término "coalgebras" varias veces en la programación funcional y en los círculos PLT, especialmente cuando la discusión es sobre ob...
¿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 ...
Functores monoidales laxos con una estructura monoidal diferente
Los functores aplicativos son bien conocidos y apreciados por Haskellers, por su capacidad de aplicar funciones en un contexto efectivo. En términos teóricos de categoría, se puede demostrar que los métodos deApplicative: pure :: a -> f a (<*>) ...
¿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 ...
¿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 -> ...
Pruebas de nivel de tipo abierto en Haskell / Idris
En Idris / Haskell, uno puede probar las propiedades de los datos anotando los tipos y utilizando constructores GADT, como con Vect, sin embargo, esto requiere codificar la propiedad en el tipo (por ejemplo, un Vect debe ser un tipo separado de ...
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 ...
¿Cuál es el análogo de la categoría en la programación?
Descubrí que hay un isomorfismo entre lógica y programación, llamado Correspondencia de Curry-Howard [https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence], entonces, ¿existe alguna equivalencia para la teoría de la Categoría, que ...
Relación entre `DList` y` [] `con Codensity
He estado experimentando conCodensity últimamente, que se supone que se relacionaDList con[] entre otras cosas. De todos modos, nunca he encontrado código que establezca esta relación. Después de algunos experimentos terminé con esto: {-# ...
Página 1 de 2