IBAFLang/IBAF-cbs/Funcons-beta/Values/Abstraction/Thunks/index.md

layout, title, parent, ancestor

layout	title	parent	ancestor
default	Thunks	Abstraction	Funcons-beta

Funcons-beta : Thunks.cbs

Thunks

[
  Datatype thunks
  Funcon   thunk
  Funcon   force
]

Meta-variables
  T <: values

Datatype
  thunks(T) ::= thunk(_:abstractions(()=>T))

thunks(T) consists of abstractions whose bodies do not depend on a given value, and whose executions normally compute values of type T. thunk(abstraction(X)) evaluates to a thunk with dynamic bindings, thunk(closure(X)) computes a thunk with static bindings.

Funcon
  force(_:thunks(T)) : =>T

force(H) enacts the abstraction of the thunk H.

Rule
  force(thunk(abstraction(X))) ~> no-given(X)

---

From the PLanCompS Project | CBS-beta issues... | Suggest an improvement...