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))