lisp embeds raw Common Lisp in a Coalton expression.

Syntax

(lisp (-> output-type) (coalton-var...)
  lisp-form...)

Semantics

  • lisp is the direct interop escape hatch.
  • Coalton trusts the declared output type and does not analyze the Lisp body.
  • It can return zero, one, or multiple values depending on the output type specification.

Example

(lisp (-> Integer) (n)
  (cl:random n))