I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp.
Coalton gives you: - Algebraic data types, pattern matching, static guarantees - Full interoperability with dynamic Lisp functions
Demo & examples: https://coalton.app
Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet
Show HN: Coalton Playground – Type-Safe Lisp in the Browser
coalton.app