Quote

The quote primitive function pops a value from the stack, and pushes a nullary function that always returns that value onto the stack.

The quote instruction is key to higher-order functional programming, and is used in the definition of basic higher-order functions such as curry.

Type

quote : ('a -> ( -> 'a))