Coalton

Coalton 把 Haskell 和 OCaml 的类型系统（类型类、代数数据类型、类型推导）带入 Common Lisp。编译到 CL 运行，保留交互式 REPL 和调试能力。已在国防和量子计算领域生产使用。