Resultados de la búsqueda a petición "lambda-calculus"
¿Cómo implementar una función recursiva en el cálculo lambda usando un subconjunto del lenguaje Clojure?
Estoy estudiando cálculo lambda con el libro "Introducción a la programación funcional a través del cálculo lambda" de Greg Michaelson. Implemento ejemplos en Clojure usando solo un subconjunto del lenguaje. Solo permito: símbolosfunciones ...
Comprobación de la comprensión de: "Variable" v.s. "Valor" y "función" frente a "abstracción"
(Esta pregunta es un seguimiento deéste [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] mientras estudiaba Haskell.) Solía encontrar confusa la noción entre "variable" y "valor". Por lo tanto, ...
¿Por qué se aplica una función incorporada a muy pocos argumentos considerados en forma normal de cabeza débil?
El Haskelldefinición [http://www.haskell.org/haskellwiki/Weak_head_normal_form] dice: Una expresión está en forma normal de cabeza débil (WHNF), si es: un constructor (eventualmente aplicado a argumentos) como True, Just (cuadrado 42) o (:) ...
Consulta sobre booleanos en cálculo lambda
Esta es la representación del cálculo lambda para el operador AND: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b¿Alguien puede ayudarme a comprender esta representación?
¿Es habitual que las redes de interacción dejen montones de ventiladores redundantes?
Estoy compilando términos de cálculo lambda en redes de interacción para evaluarlos usando el algoritmo abstracto de Lamping. Para probar mi implementación, utilicé esta función de división de número de iglesia: div = (λ a b c d . (b (λ e . (e ...
función factorial de cálculo lambda no recursiva
¿Cómo escribir una función factorial sin el uso de recursión usando cálculo lambda? Significa solo la notación matemática, no la implementación en ningún lenguaje de programación en particular.
FICHA DE FIN DE ARCHIVO con flex y bison (solo funciona sin él)
OK, esta es una pregunta extraña porque lo que tengo aquí funciona de la manera que quiero. Lo que estoy haciendo es escribir un analizador para una expresió...
¿Es posible evaluar los términos de cálculo lambda de manera eficiente?
He estado escribiendo muchos programas en el cálculo lambda recientemente y desearía poder ejecutar algunos de ellos en tiempo real. Sin embargo, aunque el paradigma funcional de tendencia se basa en el cálculo lambda y la regla de ...
Página 1 de 2