本文介绍了具有类型推断功能的Lisp静态类型方言，适用于Windows吗?的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
是否存在执行类型推断并与Windows兼容的Lisp静态类型方言?
Is there any statically-typed dialect of Lisp that performs type inference and is compatible with Windows?
我找到了CMUCL，但它似乎没有与Windows兼容的版本.
I have found CMUCL but it doesn't seem to have a Windows-compatible version.
推荐答案
看看 SBCLCMUCL.它通过类型声明为静态类型提供了良好的支持，可以执行大量类型推断，并且可以在Windows上运行.
Have a look at SBCL which descends from CMUCL. It has good support for static typing through type declarations, performs plenty of type inference, and runs on Windows.
不过，默认情况下它是非常动态的.您可能对类型化的球拍感兴趣.
It's very much dynamic by default, though. You might be interested in Typed Racket.
这篇关于具有类型推断功能的Lisp静态类型方言，适用于Windows吗?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！