Preguntas etiquetadas con functional-programming

Necesito almacenar conjuntos de elementos de tipo a. El tipo a está parcialmente ordenado, por lo que comparar y puede devolver menor, mayor, igual o incomparable.un1a1a_1un2a2a_2 Un problema con las tablas hash es que dos elementos iguales se pueden representar de manera diferente, y no tengo acceso a una función …

15 ds.data-structures  functional-programming  sorting 

Estaba leyendo un capítulo en LYAH que realmente no tenía sentido para mí. Entiendo que las cremalleras pueden atravesar arbitrariamente una estructura similar a un árbol, pero necesito alguna aclaración al respecto. Además, ¿se pueden generalizar las cremalleras a cualquier estructura de datos?

15 ds.data-structures  functional-programming  tree 

¿Qué impide que ghc traduzca Haskell a un lenguaje de programación concatenante como la lógica combinatoria y luego simplemente use la asignación de pila para todo? Según Wikipedia, la traducción del cálculo lambda a la lógica combinatoria es trivial y, además, los lenguajes de programación concatenantes pueden depender únicamente de …

14 functional-programming  haskell 

Un lenguaje funcional puede verse como una categoría donde sus objetos son tipos y las funciones de morfismos entre ellos. ¿Cómo encajan las clases de tipos en este modelo? Supongo que solo deberíamos considerar aquellas implementaciones que satisfacen la restricción que tienen la mayoría de las clases de tipos, pero …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Estoy explorando la idea de escribir un DBMS de manera puramente funcional. La estructura de datos tradicional utilizada para la indexación es B-Tree. Me gustaría conocer un equivalente puramente funcional de B-Tree que se optimizaría para minimizar el acceso al disco. Gracias.

14 ds.data-structures  functional-programming  db.databases 

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 funcionales …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

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 apreciada. Mejor,

13 reference-request  functional-programming  ct.category-theory  parsing 

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 …

13 functional-programming  monad  continuations  cps-transforms 

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ó a …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

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 aún, todavía me pregunto de dónde provienen …

12 type-theory  functional-programming  constructive-mathematics 

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 una …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

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 más simple …

12 functional-programming  ds.data-structures 

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 / S. Ahora, …

11 functional-programming  semantics 

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 efectos secundarios) recursividad funciones arbitrarias …

11 complexity-classes  functional-programming  dc.parallel-comp 

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 …

10 lambda-calculus  functional-programming  interaction-nets