| dbo:abstract |
In computer science, Peter Landin's J operator is a programming construct that post-composes a lambda expression with the continuation to the current lambda-context. The resulting “function” is first-class and can be passed on to subsequent functions, where if applied it will return its result to the continuation of the function in which it was created. (en) J-оператор (оператор Лэндина) — программная конструкция, которая объединяет предшествующее λ-выражение с продолжением программы в текущий λ-контекст. Результатом действия этого оператора является объект первого класса, который может быть передан в другие функции в качестве аргумента или вычислен непосредственно. Введён (англ. Peter Landin) в серии работ середины 1960-х работ, основная из которых была посвящена теоретическому языку программирования ISWIM, в котором оператор играл ключевую роль, обеспечивая реализацию изменяемого состояния, присваивание и механизм управления. Для реализации оператора Лэндин ввёл синтаксис, основанный на where-выражениях. Впоследствии этот синтаксис был реализован в реальном языке CPL. (ru) |
| dbo:wikiPageExternalLink |
https://math.bas.bg https://web.archive.org/web/20100818003917/http:/www.cs.rutgers.edu/~ccshan/j/dsz.pdf%7C http://www.brics.dk/~hosc/local/HOSC-11-2-pp117-123.pdf http://www.cs.rutgers.edu/~ccshan/j/dsz.pdf%7C http://www.math.bas.bg/bantchev/place/iswim/j.pdf |
| dbo:wikiPageID |
11049961 (xsd:integer) |
| dbo:wikiPageLength |
5211 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1112221538 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:SECD_machine dbr:Peter_Landin dbr:The_Computer_Journal dbr:Function_composition dbr:Continuation dbr:Call-with-current-continuation dbc:Continuations dbr:Communications_of_the_ACM dbr:Computer_science dbc:Programming_language_semantics dbc:1965_in_computing dbr:Lecture_Notes_in_Computer_Science dbr:Logical_Methods_in_Computer_Science dbc:Control_flow dbr:Higher-Order_and_Symbolic_Computation dbr:Lambda_(programming) |
| dbp:wikiPageUsesTemplate |
dbt:Cite_conference dbt:Cite_journal dbt:Technical dbt:Prog-lang-stub |
| dcterms:subject |
dbc:Continuations dbc:Programming_language_semantics dbc:1965_in_computing dbc:Control_flow |
| gold:hypernym |
dbr:Programming |
| rdf:type |
owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:WikicatContinuations yago:Abstraction100002137 yago:Act100030358 yago:Activity100407535 yago:Continuance101017987 yago:Event100029378 yago:PsychologicalFeature100023100 yago:YagoPermanentlyLocatedEntity dbo:ProgrammingLanguage dbo:RadioStation |
| rdfs:comment |
In computer science, Peter Landin's J operator is a programming construct that post-composes a lambda expression with the continuation to the current lambda-context. The resulting “function” is first-class and can be passed on to subsequent functions, where if applied it will return its result to the continuation of the function in which it was created. (en) J-оператор (оператор Лэндина) — программная конструкция, которая объединяет предшествующее λ-выражение с продолжением программы в текущий λ-контекст. Результатом действия этого оператора является объект первого класса, который может быть передан в другие функции в качестве аргумента или вычислен непосредственно. (ru) |
| rdfs:label |
J operator (en) J-оператор (ru) |
| owl:sameAs |
freebase:J operator yago-res:J operator wikidata:J operator dbpedia-ru:J operator https://global.dbpedia.org/id/4o2KW |
| prov:wasDerivedFrom |
wikipedia-en:J_operator?oldid=1112221538&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:J_operator |
| is dbo:knownFor of |
dbr:Peter_Landin |
| is dbo:wikiPageDisambiguates of |
dbr:J_(disambiguation) |
| is dbo:wikiPageRedirects of |
dbr:Peter_Landin's_J_operator |
| is dbo:wikiPageWikiLink of |
dbr:List_of_computer_scientists dbr:Peter_Landin dbr:Index_of_electrical_engineering_articles dbr:List_of_programmers dbr:Delimited_continuation dbr:Programming_language_theory dbr:J_(disambiguation) dbr:ISWIM dbr:Peter_Landin's_J_operator |
| is dbp:knownFor of |
dbr:Peter_Landin |
| is foaf:primaryTopic of |
wikipedia-en:J_operator |