Options
All
  • Public
  • Public/Protected
  • All
Menu

Class Let<T>

Let-continuation

A let-binding consists of two expressions to be evaluated: the result of the first will be bound to some symbol, which will then be used to evaluate the second.

example
(reset
  (let x (shift k k) ; <- first expression
  x                  ; <- second expression
))
example
{
  "k": {
    "_let": [
      "x"
    ],
    "_exp": {
      "tag": "cbpv_symbol",
      "v": "x"
    },
    "_env": {},
    "_k": {}
  }
}
see

Kont

see

Value

see

closure

internal

Type parameters

  • T

    The underlying TypeScript types which we wrap in our language.

Hierarchy

  • Let

Index

Constructors

Properties

Constructors

constructor

  • new Let<T>(_let: string[], _exp: Cbpv, _env: Env, _k: Kont<T>): Let<T>

  • Type parameters

    • T

    Parameters

    • _let: string[]

      An array of string identifiers unbound in the expression.

    • _exp: Cbpv

      The Cbpv expression we are enclosing.

    • _env: Env

      An environment binding free symbols in the expression.

    • _k: Kont<T>

      The continuation following this one.

    Returns Let<T>

Properties

Readonly _env

_env: Env

Readonly _exp

_exp: Cbpv

Readonly _k

_k: Kont<T>

Readonly _let

_let: string[]

Generated using TypeDoc