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

Question

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.

Answer 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.