Tag: bindings

All the articles with the tag "bindings".

• LETDEP: Dependency-Ordered Binding Semantics for let Expressions

  11 Sep, 2026

  LETDEP gives multiple-binding let expressions dependency-ordered binding semantics: initializer dependencies determine the evaluation order, allowing forward references while rejecting duplicate names and cyclic bindings.

• LETSEQ: Sequential Binding Semantics for let Expressions

  10 Sep, 2026

  LETSEQ gives multiple-binding let expressions sequential binding semantics: bindings are evaluated in source order, with each new binding becoming available to the ones that follow it.

• LETPAR: Parallel Binding Semantics for let Expressions

  9 Sep, 2026

  LETPAR gives multiple-binding let expressions parallel binding semantics: every initializer is evaluated in the incoming environment, so sibling bindings cannot see one another.

• Multiple-Binding let Expressions - Syntax Before Semantics

  8 Sep, 2026

  Extend LET so a single let expression can contain multiple bindings, updating the grammar, AST, and parser before deciding what those bindings mean.