4.10. kink/FUN

The companion mod for fun vals.

4.10.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.


• `Args` must be a vec.

4.10.2. FUN.is?(Val)

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