coalton:Coalton是（应该是）嵌在Common Lisp中的ML的方言

加尔顿 看看，看看科尔顿能表达的最新知识！ Coalton是Common Lisp中嵌入的ML的方言。 它强调与Lisp的实用性和互操作性，旨在成为一种DSL，允许人们逐渐使其程序更安全。 Coalton当前允许在Common Lisp中执行以下操作： 表达本质上类似于Standard ML，OCaml和Haskell的静态类型程序。 执行编译时类型推断和Hindley-Milner类型推断的类型检查。 可选地，如果需要，可以手动声明全局值。 在两个方向上将类似于ML的语言与Common Lisp互操作。 所有数据值都是本机且简单的数据结构。 定义参数化的代数数据类型，包括相互递归的类型。 使用defmacro理解的标准defmacro工具定义宏。 （在Coalton中， if是一个宏，可以扩展为Boolean类型的match ！） Coalton并不打算重新定义Lisp的