Coalton

coalton-lang.github.io

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml. New! Coalton language manual. May 2025: Robert Smith's talk at ELS 2025.

Popular posts: 2
Total points: 279
HN comments: 36
Rank: #4,672 company

Visit coalton-lang.github.io → RSS feedOn Hacker News Sep 2021 – Apr 2026

Software Engineering 2 Tools & Productivity 1 Programming Languages 1

Most points Most discussed Most cited Newest

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp

2021167 points30 commentscited by 10Programming Languages details

By Robert Smith, Elias Lawson-Fox, Cole Scott Updated July 1, 2025 by Robert Smith. Introduction Coalton is a statically typed functional programming language built with Common Lisp. We can load it like a normal Lisp library. CL-USER> (asdf:load-system "coalton") CL-USER> (in-package #:coalton-user) COALTON-USER> This…