Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
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…