coalton-lang/coalton

Health v2 · maintenance only

Adoption not part of the score

1752 stars · 111 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Coalton is a statically typed functional programming language embedded in Common Lisp, drawing ideas from Haskell, Scheme, and OCaml. It compiles to efficient Common Lisp code and integrates directly into Lisp packages and the REPL with compile-time type checking.

Use cases

• write statically typed functional code inside Common Lisp
• get compile-time type errors in a Lisp project
• use algebraic data types and pattern matching in Common Lisp
• build high-performance typed numerical or scientific code in Lisp
• gradually add type safety to an existing Common Lisp codebase

When to choose

• you develop in Common Lisp and want Haskell-style static typing without leaving the ecosystem
• you need typed functional programming with Lisp's interactive REPL and debugging
• you want efficient compiled code with type safety for production Lisp applications

When to avoid

• you want a standalone general-purpose language rather than a Lisp-embedded one
• your project is not Common Lisp based
• you need dynamic typing or full Common Lisp metaprogramming semantics

Facets

library · maturity active

programming-language type-system compiler programming-languages cross-platform cli common-lisp statically-typed haskell-inspired embedded-language type-inference functional-programming

Member repositories

For agents

markdown · JSON · MCP: product_card(name="coalton-lang/coalton")