jmivenon Lobsters • Recommends
Coalton: Toward safe, flexible, and efficient software in Common Lisp
0:00 / 0:00
#coalton#commonlisp#statictyping
Toward safe, flexible, and efficient software in Common Lisp - European Lisp Symposium 2025
Almighty Lisp
563 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 on Lobsters.
- Presented by Robert Smith, creator of Coalton
Intermediate. Assumes working knowledge.
8.9K views1 year ago1 recommendation
Programming languagesSoftware designLisp and ClojureFunctional programmingLanguage design and type systems
Robert Smith presents Coalton, a statically typed functional programming language embedded in Common Lisp, at the European Lisp Symposium 2025.
This is Robert Smith's presentation on Coalton, an efficient, statically typed functional programming language that supercharges Common Lisp. Coalton homepage as of this recording: coalton-lang.github.io/ ELS 2025 homepage: european-lisp-symposium.org/2025/index.htmlWhy it's here
1 person recommends thisWhat people say. Recommended as an excellent introduction to Coalton and adding static typing to Common Lisp.
u/stylewarningin r/ProgrammingLanguages • Mentions
On “Discussion on releasing a language, community building, and the problems it can bring (jai / vlang/ D / yours / mine, etc)”
Coalton, which is an impure ML dialect with Haskell's type system embedded in Lisp. Used to build quantum computing, signal processing, and defense applications. Talked about it at a conference and on a podcast.