3.8. kink/FUN

The companion mod for fun vals.

3.8.1. type fun

A fun is a function value.

Conceptually, a fun holds a sequence of abstract instructions. See “Language specification” → “Evaluation” chapter for abstract instructinos.

Fun.call(Recv Args)

`call` tail-calls `Fun` with `Recv` as the recv, and `Args` as the args of the invocation.

Precondition:

• `Args` must be a vec.

3.8.2. FUN.is?(Val)

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