Preguntas etiquetadas con functional-programming

Quizás la principal fuente de problemas de rendimiento en Haskell es cuando un programa sin darse cuenta acumula una cantidad de profundidad ilimitada, lo que provoca una pérdida de memoria y un desbordamiento potencial de la pila al evaluar. El ejemplo clásico se define sum = foldr (+) 0en Haskell. …

10 type-theory  functional-programming  program-verification 

Sabemos que la igualdad beta de los términos lambda simplemente escritos es decidible. Dado M, N: σ → τ, ¿es decidible si para todos X: σ, MX NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

He leído un poco sobre las siguientes estructuras de datos: El hachís ideal de Bagwell intenta Tablas hash dinámicas de Larson Árboles rojo-negro Arboles patricia ... y estoy seguro de que hay muchos otros por ahí. He visto muy poco en la forma en que cada uno es más adecuado, …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego es un lenguaje de transformación de programación / Reescritura DSL. Anthony Sloane ha trabajado en una implementación que se ejecuta en Scala . ¿Cuáles son los límites teóricos de Stratego como lenguaje funcional? (independientemente de la implementación). ¿Se podría escribir un combinador de orden aplicativo en Stratego?

10 functional-programming 

Feto, si no has oído hablar de él, puedes leerlo aquí . Utiliza un sistema de 'matrices de llamadas' y 'gráficos de llamadas' para encontrar todos los 'comportamientos de recursividad' de llamadas recursivas en una función. Para mostrar que una función termina, muestra que todos los comportamientos de recursividad de …

9 lo.logic  computability  functional-programming 

¿Existe algún sistema similar al cálculo lambda que sea fuerte normalizando, sin la necesidad de agregar un sistema de tipo encima?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Hasta donde sé, una función de Haskell con restricciones de clases de tipo se compila internamente en una función con argumentos adicionales que reciben diccionarios con las implementaciones necesarias de cada clase de tipo en particular. ¿Hay alguna otra posibilidad de cómo compilar clases de tipos? Si es así, ¿cuáles …

9 pl.programming-languages  functional-programming  compilers  type-systems 

Estoy buscando un concepto en teoría de tipos que estoy seguro de que probablemente ha sido explorado, pero no sé el nombre detrás. Consideremos un lenguaje similar a ML con tipos de producto y suma y un sistema de tipos similar a Hindley-Milner. Usaré la sintaxis OCaml. Me pregunto cómo …

8 type-theory  functional-programming 

La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas. ¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías? En particular, me interesaría: la relación entre …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

He encontrado esta aplicación web que te permite generar un teorema gratuito para un tipo dado. Los teoremas generados cuantifican sobre tipos y relaciones sobre estos tipos. Estos teoremas (fórmulas) son teoremas de qué teoría / sistema lógico? ¿Cómo se relaciona este sistema con la teoría de la ecuación del …

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Últimamente he estado jugando con los resúmenes , principalmente del clásico artículo de Abramsky Retracing Some Paths in Process Algebra . Son bastante hábiles (básicamente soluciones a la ecuación de dominio ), y recuerdan mucho a las redes de Kahn.R = I→ ( O × R )R=I→(O×R)R = I \to …

8 reference-request  pl.programming-languages  functional-programming 

Mientras escribía un programa de Petri Net, me encontré con una elección sobre las estructuras de datos para representar el gráfico. Las listas de adyacencia (es decir, listas que enumeran los arcos dentro y fuera de lugares o transiciones individuales) son fáciles de implementar, pero mientras estudiaba la teoría de …

8 ds.data-structures  functional-programming  sparse-matrix