¿Dónde puedo encontrar una semántica operacional estructural básica de pequeños pasos para cierres?

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?

— Ohad Kammar
fuente

Uhm, pregúntale a tu asesor, el inventor de SOS?

— Andrej Bauer

Eres implacable

— Ohad Kammar

¿Hay alguna dificultad específica que te impida escribir un SOS de pequeño paso?

— Martin Berger

¡ Sé lo que estás haciendo!

— Andrej Bauer

Espero que sí, aunque esta pregunta no está relacionada con eso.

— Ohad Kammar

Respuestas:

¿Es el capítulo 29 del libro de Bob Harper lo que estás buscando?

— Andrej Bauer
fuente

No. Esta es la semántica de estilo de máquina CK estándar con la que estoy familiarizado. Desde la tradición de implementación PL, sé que tener cierres léxicos es una práctica estándar. Me preguntaba si hay una cuenta semántica que los destaque formalmente.

— Ohad Kammar

¿Quizás podría editar su título y pregunta para aclarar lo que está buscando?

— Martin Berger

No, debería escribir su tesis y hablar con su asesor. O haga que su asesor use StackExchange.

— Andrej Bauer el

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?

— Uday Reddy
fuente