Coalton
Developer Tools
Statically typed functional language embedded in Common Lisp
Coalton brings Haskell and OCaml-style static typing (type classes, ADTs, type inference) to Common Lisp. Compiles to CL, retains interactive REPL. Used in production for defense and quantum computing.