用於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類型推理方言？

回答

相關問題