windows - 用于 Windows 的具有类型推断的静态类型 Lisp 方言？

Question

是否有任何静态类型的 Lisp 方言可以执行类型推断并与 Windows 兼容？

我找到了 CMUCL，但它似乎没有与 Windows 兼容的版本。

Answer 1

看看从 CMUCL 继承而来的SBCL 。它通过类型声明很好地支持静态类型，执行大量类型推断，并在 Windows 上运行。

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

Answer 2

Stalin是一个免费的 Scheme 实现，进行类型推断（用于整个程序优化目的）并具有Windows 端口

^{我承认我非常讨厌这个名字，所以我没有尝试过很多。}

Camlp5 Scheme 语法是类似于 Ocaml 的语法“预处理器”的 Scheme（因此具有类型推断）。您应该能够在 Windows 上运行它。