Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
7 hours ago
- #type-systems
- #lisp
- #functional-programming
- Coalton is an efficient, statically typed functional programming language that enhances Common Lisp.
- It incorporates concepts from Haskell, Scheme, and OCaml.
- The language was discussed by Robert Smith in a talk at ELS 2025 in May 2025.