Construct · 1 fields · 1 citations

let: a standalone construct

One name. One construct. A landmark on the map.

● anchor · a standalone construct Nearest construct by meaning·not indexed
let1 CONSTRUCTlet-bindingLANDIN · ISWIM

A single standalone construct; nearby constructs are located against it in the Collider. Tap a field for its definition, unit, and measures.

Programming languages

Bind a name in a local scope

In programming-language theory a let introduces a local binding: the expression let x = e in b names the value of e as x and makes that name available only inside the body b. Landin's 1966 The next 700 programming languages set out this construct, alongside the equivalent where notation, as the core way his ISWIM family gave names to subexpressions, and it has anchored let-bindings in functional and many mainstream languages ever since. The referent is a scoped name-to-value association evaluated within a delimited region of code, and it has nothing to do with a replayed tennis point or an archaic word for an obstruction.[1]

Unit
A name bound to a value within a delimited lexical scope
Recovery means
Not applicable
Measured by
Characterised by the scope of the bound name, whether the binding is recursive, and its evaluation strategy

Next

Run it through the Collider, or take the citations with you.

See how let sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in ColliderExport BibTeXReport this entry

Nearby constructs

action3 fields · 6 citationsjingle · one word, three constructsassociation4 fields · 4 citationsjingle · one word, four constructsbarrier4 fields · 7 citationsjingle · one word, four constructs

References

  1. Landin, P. J. (1966). The next 700 programming languages. Communications of the ACM, 9(3), 157–166. https://doi.org/10.1145/365230.365257

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct