用于Windows的静态类型Lisp类型推理方言？

Lisp是否有任何静态类型的方言进行类型推断并与Windows兼容？用于Windows的静态类型Lisp类型推理方言？

我发现CMUCL，但它似乎没有Windows兼容版本。

2013-08-03 Mehrdad

CMUCL是一个[Common Lisp]（https://en.wikipedia.org/wiki/Common_Lisp）编译器，不是“执行类型推断的静态类型的Lisp方言”，尽管编译器在某些情况下可以类型推断（参见[this]（http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-hint.html#toc154））。如果您正在语言规范中寻找具有类型推断的函数式语言，则可以查看[OCaml]（http://caml.inria.fr/index.en.html）。 – 2013-08-04 22:40:50

也许你想要一些Lispy语法的ML？ –

看看从CMUCL下降的SBCL。它通过类型声明支持静态类型输入，执行大量的类型推断，并在Windows上运行。尽管如此，它在默认情况下是非常动态的。你可能会对Typed Racket感兴趣。

来源

2013-08-03 09:42:06

还有一个更兼容SBCL版本的版本。 https://github.com/akovalenko/sbcl-win32-threads –

它出于某种原因很有趣（查看错误消息中的间距）......我找不到在发生错误后该怎么办：http： //i.imgur.com/eDYyqbL.png谢谢，它似乎有我在找的东西。 – Mehrdad

Stalin是一个免费的计划实施做类型推断（对整个程序优化的目的），并具有Windows port

^{我承认我讨厌的名字这么多，我没有尝试了很多。}

Camlp5 Scheme syntax是一种类似Ocaml的语法“预处理器”的Scheme（所以有类型推理）。你应该可以在Windows上运行它。

来源

2013-08-10 18:38:20

用于Windows的静态类型Lisp类型推理方言？

回答

相关问题