J-operador

El operador J ( operador Landin ) es una construcción de programa que combina la expresión λ anterior con la continuación del programa en el contexto λ actual. El resultado de este operador es un objeto de primera clase que puede pasarse a otras funciones como argumento o evaluarse directamente.

Introducido por Peter Landin en una serie de  trabajos a mediados de la década de 1960, el principal de los cuales estaba dedicado al lenguaje de programación teórico ISWIM , en el que el operador desempeñó un papel clave, proporcionando la implementación de un mecanismo mutable de estado , asignación y control. Para implementar el operador, Landin introdujo una sintaxis basada en expresiones where. Esta sintaxis se implementó posteriormente en el lenguaje CPL real .

Literatura

• P. Landín. Los Próximos 700 Lenguajes de Programación  // Comunicaciones de la ACM . — 1966.
• Landin, PJ (enero de 1964). "La evaluación mecánica de las expresiones". computar J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (febrero de 1965). "Correspondencia entre ALGOL 60 y la notación Lambda de Church: Parte I". Com. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (marzo de 1965). "Una correspondencia entre ALGOL 60 y las notaciones Lambda de Church: Parte II". Com. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, A formal description of Algol 60. Presentado en IFIP Working Conf., Baden, sept. 1964.
• Landin, PJ, Programación sin imperativos: un ejemplo, Informe de investigación de UNIVAC SP (marzo de 1965)
• Landin, PJ, Getting Rid of Labels, Informe de investigación de UNIVAC SP (julio de 1965)
• Landin, PJ, An Analysis of Assignment in Programming Languages, Informe de investigación de UNIVAC SP (septiembre de 1965)
• Thielecke, H. (diciembre de 1998). "Una introducción a "Una generalización de saltos y etiquetas " de Landin " (PDF) . Computación de orden superior y simbólica . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (noviembre de 2008). Tennent, Robert, ed. "Una deconstrucción racional de la máquina SECD de Landin con el operador J". Métodos Lógicos en Informática . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). "J es para JavaScript: una correspondencia de estilo directo entre lenguajes similares a Algol y JavaScript usando continuaciones de primera clase". Idiomas específicos de dominio (PDF) . LNC . 5658 . páginas. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Archivado desde el original (PDF) el 18 de agosto de 2010 . Consultado el 19 de septiembre de 2009 . Parámetro obsoleto utilizado |url-status=( ayuda ) Archivado el 18 de agosto de 2010 en Wayback Machine .