J-operátor

A J-operátor ( Landin operátor ) egy olyan programkonstrukció, amely az előző λ-kifejezést a program folytatásával kombinálja az aktuális λ-környezetben. Ennek az operátornak az eredménye egy első osztályú objektum , amely argumentumként átadható más függvényeknek, vagy közvetlenül kiértékelhető.

Peter Landin vezette be az 1960-as évek közepén egy sor munkában, amelyek fő részét az  ISWIM elméleti programozási nyelvnek szentelték , amelyben az operátor kulcsszerepet játszott, biztosítva a változtatható állapot , hozzárendelési és vezérlőmechanizmus megvalósítását. Az operátor megvalósításához Landin bevezette a hol kifejezéseken alapuló szintaxist. Ezt a szintaxist később a tényleges CPL nyelven implementálták .

Irodalom

• P. Landin. A következő 700 programozási nyelv  // Az ACM kommunikációja . – 1966.
• Landin, PJ (1964. január). "A kifejezések mechanikai értékelése". Comput. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (1965. február). „Az ALGOL 60 és a Church's Lambda-jelölés közötti megfelelés: I. rész”. Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (1965. március). "Az ALGOL 60 és a Church's Lambda-jelölések közötti megfelelés: II. rész." Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, Az Algol 60 formális leírása. Bemutatták az IFIP Working Conf.-on, Baden, szept. 1964.
• Landin, PJ, Programozás lmperatives nélkül – példa, UNIVAC SP Research Report (1965. március)
• Landin, PJ, Getting Rid of Labels, UNIVAC SP Research Report (1965. július)
• Landin, PJ, An Analysis of Assignment in Programming Languages, UNIVAC SP Research Report (1965. szeptember)
• Thielecke, H. (1998. december). „Bevezetés Landin „Az ugrások és címkék általánosítása ” című könyvébe (PDF) . Magasabb rendű és szimbolikus számítás . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (2008. november). Tennent, Robert, szerk. „Landin SECD gépének racionális felépítése a J kezelővel.” Logikai módszerek a számítástechnikában . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). „J a JavaScripthez szól: Közvetlen stílusú megfelelés az Algol-szerű nyelvek és a JavaScript között első osztályú folytatásokkal.” Domain-specifikus nyelvek (PDF) . LNC-k . 5658 . pp. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Archivált az eredetiből (PDF) ekkor: 2010-08-18 . Letöltve: 2009-09-19 . Elavult használt paraméter |url-status=( súgó ) Archivált : 2010. augusztus 18. a Wayback Machine -nél