J-operaattori

J-operaattori ( Landin-operaattori ) on ohjelmakonstruktio, joka yhdistää edellisen λ-lausekkeen ja ohjelman jatkon nykyiseen λ-kontekstiin. Tämän operaattorin tulos on ensimmäisen luokan objekti , joka voidaan välittää muille funktioille argumenttina tai arvioida suoraan.

Peter Landin esitteli 1960 - luvun puolivälissä sarjassa  töitä, joista pääosa oli omistettu teoreettiselle ohjelmointikielelle ISWIM , jossa operaattorilla oli avainrooli, tarjoten muuttuvan tilan , osoitus- ja ohjausmekanismin toteuttamisen. Operaattorin toteuttamiseksi Landin otti käyttöön syntaksin, joka perustuu missä-lausekkeisiin. Tämä syntaksi otettiin myöhemmin käyttöön varsinaisella CPL -kielellä .

Kirjallisuus

• P. Landin. Seuraavat 700 ohjelmointikieltä  // ACM:n viestintä . – 1966.
• Landin, PJ (tammikuu 1964). "lausekkeiden mekaaninen arviointi". Comput. J. 6 (4): 308-320. DOI : 10.1093/comjnl/6.4.308 .
• Landin, PJ (helmikuu 1965). "ALGOL 60:n ja Churchin Lambda-merkinnän välinen vastaavuus: Osa I". Comm. ACM . 8 (2): 89-101. DOI : 10.1145/363744.363749 .
• Landin, PJ (maaliskuu 1965). "Kirjeenvaihto ALGOL 60:n ja Churchin Lambda-merkintöjen välillä: Osa II." Comm. ACM . 8 (3): 158-167. DOI : 10.1145/363791.363804 .
• Landin, PJ, Algol 60:n virallinen kuvaus. Esitelty IFIP Working Conf.:ssa, Baden, syyskuu. 1964.
• Landin, PJ, Ohjelmointi ilman ehtoja – esimerkki, UNIVAC SP Research Report (maaliskuu 1965)
• Landin, PJ, Getting Rid of Labels, UNIVAC SP Research Report (heinäkuu, 1965)
• Landin, PJ, An Analysis of Assignment in Programming Languages, UNIVAC SP Research Report (syyskuu, 1965)
• Thielecke, H. (joulukuu 1998). "Johdatus Landinin "hyppyjen ja etikettien yleistykseen " ( PDF) . Korkeamman asteen ja symbolinen laskenta . 11 (2): 117-123. DOI : 10.1023/A:1010060315625 .
• Danvy, O .; Millikin, K. (marraskuu 2008). Tennent, Robert, toim. "Landinin SECD-koneen rationaalinen purkaminen J-operaattorilla." Tietojenkäsittelytieteen loogiset menetelmät . 4 (4:12): 1-67. arXiv : 0811.3231 . DOI : 10.2168/LMCS-4(4:12)2008 .
• Danvy, O .; Shan, CC; Zerny, I. (2009). "J on JavaScriptille: Suoratyylinen vastaavuus Algolien kaltaisten kielten ja JavaScriptin välillä käyttäen ensimmäisen luokan jatkoja." Verkkotunnuskohtaiset kielet (PDF) . LNC:t . 5658 . s. 1-19. DOI : 10.1007/978-3-642-03034-5_1 . ISBN  978-3-642-03033-8 . Arkistoitu alkuperäisestä (PDF) 2010-08-18 . Haettu 19.09.2009 . Käytöstä poistettu parametri |url-status=( ohje ) Arkistoitu 18. elokuuta 2010 Wayback Machinessa