Operátor J. - J operator

v počítačová věda, Peter Landin je Operátor J. je programovací konstrukt, který postkomponuje a výraz lambda s pokračování do aktuálního kontextu lambda. Výsledná „funkce“ je prvotřídní a lze ji předat dalším funkcím, kde při použití vrátí svůj výsledek do pokračování funkce, ve které byla vytvořena.

Zobecněný prvotřídní návrat

Lze definovat návratové prohlášení jako prvotřídní objekt převzetím J funkce identity. Poté může být předán dalším funkcím a tam použit k návratu z funkce, ve které byl vytvořen „návrat“.

Viz také

Reference

Od Landina
  • Landin, P. J. (Leden 1964). „Mechanické hodnocení výrazů“. Comput. J. 6 (4): 308–320. doi:10.1093 / comjnl / 6.4.308.
  • Landin, P. J. (Únor 1965). „Korespondence mezi ALGOL 60 a Churchovou lambda notací: část I“. Comm. ACM. 8 (2): 89–101. doi:10.1145/363744.363749.
  • Landin, P. J. (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, P. J., „Formální popis Algolu 60“. Prezentováno na IFIP Working Conf., Baden, září 1964.
  • Landin, P. J., „Programování bez provize - příklad,“ výzkumná zpráva UNIVAC S.P. (březen 1965)
  • Landin, P. J., „Zbavte se štítků“, výzkumná zpráva UNIVAC S.P. (červenec 1965)
  • Landin, P. J., „Analýza přiřazení v programovacích jazycích“, Výzkumná zpráva UNIVAC S.P. (září 1965)
Ostatními