Resultados de la búsqueda a petición "category-theory"
¿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ál es la definición de Funcional Aplicativo de la teoría de categorías POV?
Pude asignar la definición de Functor de la teoría de categorías a la definición de Haskell de la siguiente manera: desde objetos deHask son tipos, el functorF mapea cada tipoa deHask al nuevo tipoF a diciendo, más o menos, ...
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 (<*>) ...
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: {-# ...
¿Cuáles son algunos tipos que discriminan entre categorías?
Todavía me estoy familiarizando con todas estas cosas de teoría de categorías, y casi todos los ejemplos que veo son con un tal vez o una matriz. Pero no he encontrado ningún ejemplo que discrimine entre estas categorías. Por ejemplo, estas son ...
¿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 ...
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...
¿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 ...
Página 1 de 2