Lisp的静态types推断,用于Windows?

有什么静态types的Lisp的方言进行types推断,并与Windows兼容?

我发现CMUCL,但它似乎没有一个Windows兼容的版本。

Solutions Collecting From Web of "Lisp的静态types推断,用于Windows?"

看看CMUCL下的SBCL 。 它通过类型声明支持静态类型,执行大量的类型推断,并在Windows上运行。

不过,默认情况下它是非常动态的。 您可能对Typed Racket感兴趣。

斯大林是一个免费的计划实施,做类型推断(为了整个程序优化的目的),并有一个Windows端口

我承认我非常讨厌这个名字,所以我没有尝试太多。

Camlp5 Scheme语法是一个类似于Ocaml的语法“预处理器”的Scheme(所以有类型推断)。 你应该可以在Windows上运行它。