6.12. kink/FUN

6.12.1. type fun

`fun` is a function,

A `fun` is thought to have an immutable finite-length sequence of abstract instructions. See “Language specification” → “Evaluation” chapter for abstract instructinos.

6.12.1.1. Fun.call(Recv Args)

`call` tail-calls `Fun` with `Recv` as the receiver, and `Args` as the argument vector of the invocation.

At the tail of `call`, the following sequence of abstract instructinos is evaluated:

(val Fun)
(val Recv)
(val Args)
(tailcall)

Precondition

`Args` must be a `vec`.

6.12.2. FUN.is?(Val)

`is?` returns whether the `Val` is a `fun`.