J-operator

Operatorul J ( operatorul Landin ) este un construct de program care combină expresia λ anterioară cu continuarea programului în contextul λ curent. Rezultatul acestui operator este un obiect de primă clasă care poate fi transmis altor funcții ca argument sau evaluat direct.

Introdus de Peter Landin într- o serie de  lucrări la mijlocul anilor 1960, a căror principală a fost dedicată limbajului de programare teoretic ISWIM , în care operatorul a jucat un rol cheie, oferind implementarea unui mecanism de stare , atribuire și control mutabil. Pentru a implementa operatorul, Landin a introdus o sintaxă bazată pe expresiile unde. Această sintaxă a fost ulterior implementată în limbajul actual CPL .

Literatură

• P. Landin. Următoarele 700 de limbaje de programare  // Comunicații ale ACM . — 1966.
• Landin, PJ (ianuarie 1964). „Evaluarea mecanică a expresiilor”. Calculator. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (februarie 1965). „Corespondența dintre ALGOL 60 și notația Lambda a Bisericii: Partea I”. Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (martie 1965). „O corespondență între ALGOL 60 și notările Lambda ale Bisericii: Partea a II-a.” Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, A formal description of Algol 60. Prezentat la IFIP Working Conf., Baden, sept. 1964.
• Landin, PJ, Programare fără imperative — un exemplu, Raport de cercetare UNIVAC SP (martie, 1965)
• Landin, PJ, Scaparea de etichete, Raport de cercetare UNIVAC SP (iulie, 1965)
• Landin, PJ, An Analysis of Assignment in Programming Languages, Raport de cercetare UNIVAC SP (septembrie, 1965)
• Thielecke, H. (decembrie 1998). „O introducere în „O generalizare a salturilor și a etichetelor ” a lui Landin (PDF) . Calcul de ordin superior și simbolic . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (noiembrie 2008). Tennent, Robert, ed. „O deconstrucție rațională a mașinii SECD a lui Landin cu operatorul J.” Metode logice în informatică . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). „J este pentru JavaScript: o corespondență în stil direct între limbajele similare Algol și JavaScript folosind continuări de primă clasă.” Limbi specifice domeniului (PDF) . LNC-uri . 5658 . pp. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Arhivat din original (PDF) pe 2010-08-18 . Consultat 2009-09-19 . Parametrul depreciat folosit |url-status=( ajutor ) Arhivat pe 18 august 2010 la Wayback Machine