Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase.
Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?
Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase.
Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?
Respuestas:
¿Es el capítulo 29 del libro de Bob Harper lo que estás buscando?
fuente
Los cierres forman un concepto importante que trato de enseñar en mi clase de Lengua de Programación de pregrado. Puedes encontrar mis apuntes en línea.
El Folleto 8 muestra una semántica de gran paso utilizando entornos y cierres. El Folleto 9 muestra mi sabor de la máquina SECD. (Esto último no funcionó tan bien con fines de enseñanza porque los estudiantes se perdieron en detalles y no desarrollaron buenas intuiciones. Así que cambié a la semántica de grandes pasos).
Ninguno de estos es lo que está pidiendo, pero ¿tal vez podrían formar un punto de partida?
fuente