class Builtin

Builtin / Special Form evaluation Strategy (builtin).

Responsible for quoting/evaluating subexpressions, instantiating and setting up Ops, updating the current Scope, etc. See builtin and invoke for examples.

index

builtin interface

• builtin(cell, head)  – create a new instance.
• builtin:eval(scope, tail)  – perform the actual evaluation.
• builtin:destroy()  – free resources
• builtin:setup(prev)  – setup or copy state from previous instance of same type.
• builtin.cell  – the Cell this Builtin was created for.
• builtin.head  – the evaluated head of cell.
• builtin.tag  – the identity of cell.

static functions

• Builtin:eval_cell(cell, scope, head)  – create and setup a Builtin for a given tag, then evaluate it.

details

builtin interface

• builtin(cell, head)  – create a new instance.

  parameters:

  • cell (Cell): the Cell to evaluate
  • head (Value): the (AST:evald) head of the Cell to evaluate
• builtin:eval(scope, tail)  – perform the actual evaluation.

  Implementations should:

  • eval or quote tail values
  • perform scope effects
  • wrap all child-results

  parameters:

  • scope (Scope): the active scope
  • tail ({AST,...}): the arguments to this expression

  returns:

  1. (Result): the result of this evaluation
• builtin:destroy()  – free resources
• builtin:setup(prev)  – setup or copy state from previous instance of same type.
  prev is only passed if Builtin types of prev and current expression match. Otherwise, or when no previous expression exists, nil is passed.

  parameters:

  • prev (optional Builtin): the previous Builtin instance
• builtin.cell  – the Cell this Builtin was created for.
  • cell (Cell)
• builtin.head  – the evaluated head of cell.
  • head (AST)
• builtin.tag  – the identity of cell.
  • tag (Tag)

static functions

• Builtin:eval_cell(cell, scope, head)  – create and setup a Builtin for a given tag, then evaluate it.
  Create a new instance using tag and head and call setup on it. If a previous instance with the same tag exists and has the same head, it pass it to setup. Register the Builtin with tag, evaluate it and return the Result.

  parameters:

  • cell (Cell): the Cell being evaluated
  • scope (Scope): the active scope
  • head (Value): the (AST:evald) head of the Cell being evaluated

  returns:

  1. (Result): the result of evaluation