具有类型推断功能的Lisp静态类型方言，适用于Windows吗? [英] Statically-typed dialect of Lisp with type inference, for 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吗?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！