Resultados de la búsqueda a petición "lambda-calculus"
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, ...
¿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 ...
¿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 ...
¿Hay alguna forma eficiente de convertir un número unario en un número binario?
Deje que esos tipos de datos representen números naturales unarios y binarios, respectivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = ...
Página 2 de 2