Coalton is a statically typed functional language embedded in Common Lisp. This manual is intended to be a flat, succinct guide to Coalton. It is hosted on GitHub, so if you find an error or or something is unclear, please fix it and submit a PR.

Articles

Operators And Symbols

Variables in Coalton can be named with almost any character; they typically have no special meaning. For +, /, ==, <=>, >>=, and other library operators, see the Standard Library Reference.
Entry Points coalton coalton-toplevel
Definitions define define-class define-exception
define-instance define-resumption define-struct
define-type define-type-alias
Directives declare derive inline
likely monomorphize noinline
repr specialize unlikely
unsafe
Types &key * ->
=> forall the
Expressions = [=>] []
_ dynamic-bind fn
let let* lisp
match values
Conditionals and cond if
or unless when
Looping break continue for
for* rec
Control <- do progn
return
Exceptions catch resumable resume-to
throw
Convenience .< .> as
nest pipe try-as
unwrap-as