Show HN: Coalton Playground – Type-Safe Lisp in the Browser

[agambrahma]

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

[agambrahma]

Reference for Coalton:

https://coalton-lang.github.io