Coalton Playground: Type-Safe Lisp in the Browser
Coalton Playground — онлайн-REPL для статически типизированного диалекта Lisp.
Coalton смешал систему типов Haskell с Common Lisp: ADT, сопоставление с образцом, но совместим с обычным Lisp-кодом.
Автору было лень ставить SBCL + Quicklisp + Coalton, поэтому он свёл всё к одной веб-странице.
Пишете код, нажимаете «Run», получаете результат и вид сгенерированного Common Lisp.
Плюс технический трюк: заранее собранный образ SBCL с загруженным Coalton сократил старт с 400 мс до 80 мс.
Попробовать: coalton.app — есть примеры от факториала до монад.