Preguntas etiquetadas con category-theory

Estoy aprendiendo Haskell y estoy fascinado por el idioma. Sin embargo, no tengo antecedentes serios en matemáticas o CS. Pero soy un programador de software experimentado. Quiero aprender teoría de categorías para poder mejorar en Haskell. ¿Qué temas de la teoría de categorías debería aprender a proporcionar una buena base …

118 programming-languages  functional-programming  category-theory 

Básicamente conozco tres fundamentos para las matemáticas. Teoría de conjuntos Teoría de tipo Teoría de la categoría Entonces, ¿de qué manera están relacionados los lenguajes de programación y los fundamentos de las matemáticas? EDITAR La pregunta original era "Lenguajes de programación basados ​​en fundamentos matemáticos" con el paragarph agregado de …

30 programming-languages  history  type-theory  category-theory 

Siguiendo el mismo pensamiento que esta declaración de Andrej Bauer en esta respuesta La comunidad de Haskell ha desarrollado una serie de técnicas inspiradas en la teoría de categorías, de las cuales las mónadas son más conocidas pero no deben confundirse con las mónadas . ¿Cuál es la relación entre …

24 programming-languages  functional-programming  category-theory 

Al leer la respuesta de Uday Reddy a ¿Cuál es la relación entre los functores en SML y la teoría de categorías? Estados Uday La teoría de categorías aún no sabe cómo manejar las funciones de orden superior. Algún día lo hará. Como pensaba que la teoría de categorías podía …

22 functional-programming  category-theory 

Después de aprender Haskell y otros lenguajes FP no tan puros, decidí leer sobre teoría de categorías. Después de obtener una buena comprensión de la teoría de la categoría, comencé a pensar en cómo los conceptos de la teoría de la categoría se pueden usar para pensar en el diseño …

21 functional-programming  category-theory 

Hoy, una charla de Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") me enfrentó por primera vez a la teoría de categorías. Ha construido un marco teórico para describir los sistemas de transición probablísticos y su comportamiento de manera general, es decir, con conjuntos de estados infinitamente incontables y diferentes …

18 applied-theory  category-theory 

Sigo escuchando acerca de cómo uno debe aprender la teoría de categorías para comprender realmente la teoría del lenguaje de programación. Hasta ahora, he aprendido una gran cantidad de PL sin siquiera entrar en el ámbito de las categorías. Sin embargo, pensé que era hora de dar el salto para …

13 reference-request  programming-languages  type-theory  category-theory 

Viene desde la perspectiva de big data. Básicamente, muchos frameworks (como Apache Spark) "compensan" la falta de operaciones relacionales al proporcionar interfaces similares a Functor / Monad y hay un movimiento similar hacia las conversiones de gatos a SQL (Slick in Scala). Por ejemplo, necesitamos una unión natural (suponiendo que …

12 relational-algebra  category-theory  curry-howard 

En esta pregunta, pregunté cuál es la diferencia entre set y type . Estas respuestas han sido realmente esclarecedoras (por ejemplo, @AndrejBauer), por lo que, en mi sed de conocimiento, me someto a la tentación de preguntar lo mismo sobre las categorías: Cada vez que leo sobre la teoría de …

11 sets  category-theory 

Digamos que las listas se definen como List a = Nil | Cons a (List a) Entonces, en Haskell, List x¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las …

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

Las sutilezas de la correspondencia entre la teoría de tipos y la teoría de categorías están fuera de mi conocimiento. Sin embargo, por mi ingenua comprensión de la relación entre las dos disciplinas históricamente convergentes, esta última subsume por completo a la primera. Si es así, ¿pueden el lenguaje y …

8 type-theory  category-theory