Preguntas etiquetadas con functional-programming

Como hay un cálculo lambda sin tipo y un cálculo lambda de tipo simple (como se describe, por ejemplo, en el libro Tipos y lenguajes de programación de Benjamin Pierce), ¿existe una lógica combinatoria de tipo simple? Por ejemplo, parecería que los tipos naturales para los combinadores S, K y …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación. De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del compilador y no sigue …

8 reference-request  functional-programming  nondeterminism  logic-programming 

¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados ​​como ficticios y no pasados ​​como ficticios? Encontré esta definición , que no estoy seguro de entender, …

8 terminology  programming-languages  functional-programming 

Estoy aprendiendo programación en ML (OCaml), y antes pregunté sobre las funciones de tipo ML'a -> 'b . Ahora he estado experimentando un poco con funciones de tipo 'a list -> 'b list. Hay algunos ejemplos simples obvios: let rec loop l = loop l let return_empty l = [] …

8 programming-languages  typing  functional-programming