La programación funcional es un paradigma de programación que utiliza principalmente funciones como medios para construir abstracciones y expresar cálculos que comprenden un programa de computadora.
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...
¿Alguien podría explicar la diferencia entre los tipos dependientes y los tipos de refinamiento? Según tengo entendido, un tipo de refinamiento contiene todos los valores de un tipo que cumple un predicado. ¿Existe una característica de los tipos dependientes que los distingue? Si ayuda, me...
La complejidad del algoritmo está diseñada para ser independiente de los detalles de nivel inferior, pero se basa en un modelo imperativo, por ejemplo, el acceso a la matriz y la modificación de un nodo en un árbol toman O (1) tiempo. Este no es el caso en lenguajes funcionales puros. La lista de...
Si algo es simple, entonces debería ser completamente explicable con unas pocas palabras. Esto se puede hacer para el cálculo λ: El cálculo λ es una gramática sintáctica (básicamente, una estructura) con una regla de reducción (lo que significa que un procedimiento de búsqueda / reemplazo se...
FRP se trata de transmitir eventos y comportamientos a través de funciones puras. El modelo de actor, al menos, tal como se implementa en Akka, se trata de transmitir mensajes inmutables (que pueden considerarse eventos discretos) a través de objetos potencialmente impuros, llamados actores. Así...
He estado leyendo durante algunas semanas sobre el cálculo de Lambda, pero todavía no he visto nada que sea materialmente distinto de las funciones matemáticas existentes, y quiero saber si es solo una cuestión de notación, o si hay alguna nueva propiedades o reglas creadas por los axiomas del...
¿Existe una referencia clara, con pseudocódigo, sobre cómo implementar un intérprete Prolog en un lenguaje puramente funcional? Lo que he encontrado hasta ahora parece tratar solo con lenguajes imperativos, es simplemente una demostración de Prolog implementado en sí mismo, o no ofrece un algoritmo...
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...
Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 5 años . Todavía estoy aprendiendo programación funcional (con f #) y recientemente comencé a leer sobre expresiones de cálculo. Todavía no entiendo...
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 servir como base para...
La programación funcional emplea estructuras de datos persistentes y objetos inmutables. Mi pregunta es ¿por qué es crucial tener tales estructuras de datos aquí? Quiero entender a bajo nivel ¿qué sucedería si la estructura de datos no es persistente? ¿El programa se bloqueará más a...
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 de programas,...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Soy un estudiante universitario y actualmente estamos estudiando el cálculo de Lambda. Sin embargo, todavía...
Estaba viendo la conferencia de Jim Weirich, titulada ' Aventuras en la programación funcional '. En esta conferencia, introduce el concepto de combinadores Y, que esencialmente encuentra el punto fijo para funciones de orden superior. Una de las motivaciones, como él lo menciona, es poder...
Las estructuras de datos persistentes son estructuras de datos inmutables. Las operaciones en ellos devuelven una nueva "copia" de la estructura de datos, pero modificada por la operación; Sin embargo, la antigua estructura de datos permanece sin cambios. La eficiencia generalmente se logra...
Los árboles dinámicos desempeñan un papel importante en la resolución de problemas tales como flujos de red, gráficos dinámicos, problemas combinatorios ("Árboles dinámicos en la práctica" de Tarjan y Werneck) y diccionarios recientemente fusionados ("Un diccionario fusionable simple" de Adam...
Nuestro profesor nos pidió que pensáramos en una función en OCaml que tenga el tipo 'a -> 'b es decir, una función de un argumento que podría ser cualquier cosa, y que puede devolver una cosa diferente. Pensé en usar raiseuna función que ignora su argumento: let f x = raise Exit Pero el...
De acuerdo con este artículo, la siguiente línea de código Lisp imprime "Hola mundo" a la salida estándar. (format t "hello, world") Lisp, que es un lenguaje homoicónico , puede tratar el código como datos de esta manera: Ahora imagine que escribimos la siguiente macro: (defmacro backwards...
Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales). Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación...
En el artículo de Philip Wadler sobre Theorems for Free , afirma en la Sección 2 sobre Parametricidad que no existen modelos ingenuos de teoría de conjuntos de cálculo lambda polimórfico En el ingenuo modelo teórico de conjuntos, los tipos son conjuntos y las funciones son funciones teóricas...