Introduction

Coalton is a statically typed functional language embedded in Common Lisp. You write ordinary Lisp files and packages, then use coalton-toplevel for definitions and coalton for expressions.

This manual is intentionally flat and reference-oriented, not a book. Use the operator pages for exact syntax, the topic pages for longer workflows, and the Standard Library Reference for library APIs and operators such as +, /, ==, and >>=.

Where To Start

• Read the Whirlwind Tour of Coalton for a broad pass over the language.
• Use Configuring Coalton when you need compiler-mode or optimization details.
• Use Lisp Interop when you need to cross the Coalton/Common Lisp boundary directly.
• Return to the manual index when you want the operator catalog.