Preguntas etiquetadas con lambda-calculus

Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 5 años . Estoy comenzando mi primer año (en la universidad) en Ciencias de la …

13 programming-languages  computer-science  lambda-calculus 

Tengo lo que llamaría una pregunta filosófica sobre el cálculo λ. Cuando explore el cálculo λ, se sorprenderá al ver todas las cosas que puede hacer allí. Puede definir enteros, operaciones aritméticas, booleanos, sentencias if-then-else, bucles, funciones recursivas, etc. Creo que se ha demostrado que es computacionalmente completo. Pero, por …

11 computer-science  lambda-calculus 

En lenguajes ansiosos como Scheme y Python, puede usar una expresión lambda sin parámetros para retrasar la evaluación, por ejemplo, en Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) #;3> (t) 2 En la línea 2, testá vinculada a la expresión …

9 python  haskell  scheme  lambda  lambda-calculus