J-operatør

J-operator ( Landin operator ) er en programkonstruktion, der kombinerer det foregående λ-udtryk med programmets fortsættelse ind i den aktuelle λ-kontekst. Resultatet af denne operator er et førsteklasses objekt , der kan overføres til andre funktioner som et argument eller evalueres direkte.

Introduceret af Peter Landin i en række  værker i midten af ​​1960'erne, hvoraf det vigtigste var viet til det teoretiske programmeringssprog ISWIM , hvor operatøren spillede en nøglerolle, der sørgede for implementeringen af ​​en foranderlig tilstand , tildeling og kontrolmekanisme. For at implementere operatoren introducerede Landin en syntaks baseret på hvor-udtryk. Denne syntaks blev efterfølgende implementeret i det faktiske CPL -sprog .

Litteratur

• P. Landin. De næste 700 programmeringssprog  // ACM's kommunikation . - 1966.
• Landin, PJ (januar 1964). "Den mekaniske evaluering af udtryk". Comput. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (februar 1965). "Korrespondance mellem ALGOL 60 og Kirkens Lambda-notation: Del I". Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (marts 1965). "En korrespondance mellem ALGOL 60 og Kirkens Lambda-notationer: Del II." Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, En formel beskrivelse af Algol 60. Præsenteret på IFIP Working Conf., Baden, sept. 1964.
• Landin, PJ, Programmering uden imperativer - et eksempel, UNIVAC SP Research Report (marts, 1965)
• Landin, PJ, At slippe af 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 til Landins "A Generalization of Jumps and Labels " ( PDF) . Højere orden og symbolsk beregning . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (november 2008). Tennent, Robert, red. "En rationel dekonstruktion af Landins SECD-maskine med J-operatøren." Logiske metoder i datalogi . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). "J er for JavaScript: En direkte korrespondance mellem algol-lignende sprog og JavaScript ved hjælp af førsteklasses fortsættelser." Domænespecifikke sprog (PDF) . LNC'er . 5658 . pp. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Arkiveret fra originalen (PDF) 2010-08-18 . Hentet 2009-09-19 . Forældet parameter brugt |url-status=( hjælp ) Arkiveret 18. august 2010 på Wayback Machine