Preguntas etiquetadas con functional-programming

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 

¿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 encontré con tipos refinados a …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

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 …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

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 aplica repetidamente a …

32 functional-programming  type-theory 

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í que en la superficie parecen …

30 distributed-systems  functional-programming  programming-paradigms 

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 cálculo …

29 lambda-calculus  functional-programming 

¿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 concreto para usar para la interpretación. …

25 functional-programming  prolog  logic-programming 

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 

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 completamente el concepto y una cosa que me mantiene …

22 functional-programming 

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 menudo?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

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 

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 me cuesta entender exactamente por qué esto es útil para …

21 lambda-calculus  functional-programming 

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 Karczmarz), Por árboles dinámicos me refiero a la definición establecida …

19 data-structures  trees  functional-programming 

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 compartiendo algunos de los datos subyacentes y …

19 reference-request  data-structures  functional-programming  persistent-data-structure