Statically-typed dialect of Lisp with type inference, for Windows?

问题

Is there any statically-typed dialect of Lisp that performs type inference and is compatible with Windows?

I have found CMUCL but it doesn't seem to have a Windows-compatible version.

回答1:

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.

回答2:

Stalin is a free Scheme implementation doing type inference (for whole program optimization purposes) and having a Windows port

^{I confess I hate the name so much that I did not try it a lot.}

Camlp5 Scheme syntax is a Scheme like syntax "preprocessor" for Ocaml (so has type inference). You should be able to run it on Windows.

来源：https://stackoverflow.com/questions/18031009/statically-typed-dialect-of-lisp-with-type-inference-for-windows