J-operátor

J-operátor ( Landin operátor ) je programová konstrukce, která kombinuje předchozí λ-výraz s pokračováním programu do aktuálního λ-kontextu. Výsledkem tohoto operátoru je objekt první třídy , který lze předat jiným funkcím jako argument nebo přímo vyhodnotit.

V polovině 60. let představil Peter Landin v sérii prací  , z nichž hlavní byla věnována teoretickému programovacímu jazyku ISWIM , ve kterém hrál klíčovou roli operátor zajišťující implementaci proměnlivého stavu , přiřazení a řídicího mechanismu. Pro implementaci operátoru zavedl Landin syntaxi založenou na výrazech where. Tato syntaxe byla následně implementována ve skutečném jazyce CPL .

Literatura

• P. Landin. Dalších 700 programovacích jazyků  // Komunikace ACM . — 1966.
• Landin, PJ (leden 1964). „Mechanické hodnocení výrazů“. Počítat. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (únor 1965). “Korespondence mezi ALGOL 60 a Churchovou Lambda notací: Část I”. Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (březen 1965). "Korespondence mezi ALGOL 60 a Churchovými Lambda-notacemi: Část II." Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, Formální popis Algolu 60. Prezentováno na IFIP Working Conf., Baden, září. 1964.
• Landin, PJ, Programování bez imperativů – příklad, UNIVAC SP Research Report (březen, 1965)
• Landin, PJ, Getting Rid of Labels, UNIVAC SP Research Report (červenec, 1965)
• Landin, PJ, An Analysis of Assignment in Programming Languages, UNIVAC SP Research Report (září, 1965)
• Thielecke, H. (prosinec 1998). „Úvod k Landinově „Zobecnění skoků a označení “ ( PDF) . Vyšší řád a symbolické výpočty . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (listopad 2008). Tennent, Robert, ed. "Racionální dekonstrukce Landinova stroje SECD s operátorem J." Logické metody v informatice . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4 (4:12) 2008 .
• Danvy, O .; Shan, CC; Žerný, I. (2009). "J je pro JavaScript: Přímá korespondence mezi jazyky podobnými Algolu a JavaScriptem s využitím prvotřídních pokračování." Jazyky specifické pro doménu (PDF) . LNC . 5658 . str. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Archivováno z originálu (PDF) dne 2010-08-18 . Získáno 2009-09-19 . Použitý zastaralý parametr |url-status=( nápověda ) Archivováno 18. srpna 2010 na Wayback Machine