Considere la lista humildemente vinculada en un entorno puramente funcional. Sus alabanzas se han cantado desde las cimas de las montañas y se seguirán cantando. Aquí abordaré uno de sus muchos puntos fuertes y la cuestión de cómo se puede extender a la clase más amplia de secuencias puramente...
Como estoy interesado en los analizadores (principalmente en las gramáticas de expresión de analizadores), me pregunto si hay algún trabajo que ofrezca un tratamiento categórico del análisis. Cualquier referencia sobre aplicaciones de la teoría de categorías al análisis es muy...
La pregunta ¿Qué hay de nuevo en estructuras de datos puramente funcionales desde Okasaki? , y la respuesta épica de jbapple, mencionó el uso de listas de diferencias en la programación funcional (en oposición a la programación lógica), que es algo que me ha interesado recientemente. Esto me llevó...
Recordemos la transformación de paso de continuación (transformación CPS) que lleva a β A : = R R A (donde R está fijo) yf : A → B a β f : β A → β B definido por βAAAβA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRf:A→Bf:A→Bf : A \to Bβf:βA→βBβf:βA→βB\beta f : \beta A \to \beta B De hecho,...
En el peor de los casos, puramente funcional , listas ordenadas de tiempo constante , Brodal et al. presentar árboles balanceados puramente funcionales con O (1) concatenar y O (lg n) insertar, eliminar y buscar. La estructura de datos es algo complicada. ¿Existe un árbol de búsqueda equilibrado...
Recientemente intenté implementar Aaron's Cedille-Core , un lenguaje de programación minimalista capaz de probar teoremas matemáticos sobre sus propios términos. También probé la inducción de tipos de datos codificados con λ, lo que dejó en claro por qué serían necesarias sus extensiones. Menos...
Seguimiento ¿Cuál es un ejemplo de una mónada que es una alternativa pero no una MonadPlus? : Supongamos que es una mónada. ¿Cuáles son las relaciones betweem m ser una alternativa , un MonadPlusCatch y una MonadPlusDistr ? metrommmetrommPara cada uno de los seis pares posibles, me gustaría tener...
Tengo una pregunta sobre las funciones puras. Según la página de Wikipedia, uno de los requisitos para una función pura es: La evaluación del resultado no causa ningún efecto secundario o salida semánticamente observable, como la mutación de objetos mutables o la salida a dispositivos de E /...
Imagine un lenguaje de programación funcional cuyos únicos tipos de datos son escalares numéricos y anidaciones arbitrarias de matrices. El lenguaje carece de cualquier medio de iteración ilimitada, por lo que no se permite lo siguiente: bucles explícitos (de todos modos, sin mucho uso sin...
Sabemos que la igualdad beta de los términos lambda simplemente escritos es decidible. Dado M, N: σ → τ, ¿es decidible si para todos X: σ, MX
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...
Los combinadores de interacción se han propuesto antes como objetivo de compilación para el cálculo λ. Ese documento implementa el cálculo λ completo. También se sabe que es posible optimizar las codificaciones de la red de interacción del cálculo λ para el subconjunto de términos λ que es de tipo...
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, o por qué...
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...
¿Existe algún sistema similar al cálculo lambda que sea fuerte normalizando, sin la necesidad de agregar un sistema de tipo
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...
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...
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...
Ú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 (O \times...
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...