Show HN: Coalton Playground – Type-Safe Lisp in the Browser (opens in new tab)

(coalton.app)

19 pointsagambrahma7mo ago1 comments

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

Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet

1 comments

Reference for Coalton:

j / k navigate · click thread line to collapse

(coalton.app)

19 pointsagambrahma7mo ago1 comments

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

Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet

Reference for Coalton:

j / k navigate · click thread line to collapse