5

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.

user541686
  • 205,094
  • 128
  • 528
  • 886
  • CMUCL is a [Common Lisp](https://en.wikipedia.org/wiki/Common_Lisp) compiler, not a "statically-typed dialect of Lisp that performs type inference", though the compiler can in some circumstances do type inference (see [this](http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-hint.html#toc154)). If you are looking for a functionnal language with type inference in the language specifications, you may have a look at [OCaml](http://caml.inria.fr/index.en.html), for instance. –  Aug 04 '13 at 22:40
  • Perhaps you want some ML with a Lispy syntax? – Basile Starynkevitch Aug 10 '13 at 18:28

2 Answers2

6

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.

Luís Oliveira
  • 2,964
  • 1
  • 20
  • 26
  • 1
    There is also a version of a more Windows compatible version of SBCL. https://github.com/akovalenko/sbcl-win32-threads – Rainer Joswig Aug 03 '13 at 10:45
  • It acts funny for some reason (look at the spacing in the error messages)... I can't figure out what to do after an error: http://i.imgur.com/eDYyqbL.png Thanks though, it seems to have what I was looking for. – user541686 Aug 03 '13 at 18:28
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.

Basile Starynkevitch
  • 223,805
  • 18
  • 296
  • 547