the

the declares the type of an expression.

Syntax

(the ⟨type⟩ ⟨expr⟩)

Semantics

• the is the standard way to resolve ambiguity in an expression.
• It is especially useful around numeric literals, collection builders, sequence builders, and conversions.
• Unlike declare, the works directly at expression sites.

Example

(the (List F32) [1 2 3 4])