CoaltonDeveloper ToolsStatically typed functional language embedded in Common LispVisit sitehttps://coalton-lang.github.ioVisit sitehttps://coalton-lang.github.ioCoalton 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.