J-operatör

J-operator ( Landin operator ) är en programkonstruktion som kombinerar det föregående λ-uttrycket med fortsättningen av programmet in i det aktuella λ-kontexten. Resultatet av denna operator är ett förstaklassobjekt som kan skickas till andra funktioner som ett argument eller utvärderas direkt.

Introducerad av Peter Landin i en serie  verk i mitten av 1960-talet, vars huvudsakliga ägnas åt det teoretiska programmeringsspråket ISWIM , där operatören spelade en nyckelroll, vilket gav implementeringen av ett föränderligt tillstånd , tilldelning och kontrollmekanism. För att implementera operatorn introducerade Landin en syntax baserad på var-uttryck. Denna syntax implementerades sedan i det faktiska CPL- språket .

Litteratur

• P. Landin. De nästa 700 programmeringsspråken  // ACM: s kommunikation . — 1966.
• Landin, PJ (januari 1964). "Den mekaniska utvärderingen av uttryck". Comput. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (februari 1965). "Korrespondens mellan ALGOL 60 och kyrkans lambda-notation: del I". Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (mars 1965). "En korrespondens mellan ALGOL 60 och kyrkans lambda-notationer: del II." Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, En formell beskrivning av Algol 60. Presenterad på IFIP Working Conf., Baden, Sept. 1964.
• Landin, PJ, Programmering utan lmperativ – ett exempel, UNIVAC SP Research Report (mars, 1965)
• Landin, PJ, Att bli av med etiketter, UNIVAC SP Research Report (juli 1965)
• Landin, PJ, An Analysis of Assignment in Programming Languages, UNIVAC SP Research Report (september, 1965)
• Thielecke, H. (december 1998). "En introduktion till Landins "A Generalization of Jumps and Labels " ( PDF) . Högre ordning och symbolisk beräkning . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (november 2008). Tennent, Robert, red. "En rationell dekonstruktion av Landins SECD-maskin med J-operatören." Logiska metoder i datavetenskap . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). "J är för JavaScript: en direkt överensstämmelse mellan Algol-liknande språk och JavaScript med hjälp av förstklassiga fortsättningar." Domänspecifika språk (PDF) . LNC:er . 5658 . pp. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Arkiverad från originalet (PDF) 2010-08-18 . Hämtad 2009-09-19 . Utfasad parameter används |url-status=( hjälp ) Arkiverad 18 augusti 2010 på Wayback Machine