CODEWITHSUNDEEP
windowslisptype-inference
user541686
user541686

Reputation: 210785

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.

Upvotes: 5

Views: 1105

Answers (2)

Basile Starynkevitch
Basile Starynkevitch

Reputation: 1

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.

Upvotes: 1

Luís Oliveira
Luís Oliveira

Reputation: 2974

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.

Upvotes: 6

Related Questions