Gibt es einen statisch typisierten Dialekt von Lisp, der Typinferenz ausführt und mit Windows kompatibel ist?Statisch typisierte Dialekt von Lisp mit Typ Inferenz, für Windows?
Ich habe CMUCL gefunden, aber es scheint keine Windows-kompatible Version zu haben.
Werfen Sie einen Blick auf SBCL, die von CMUCL stammt. Es hat eine gute Unterstützung für die statische Typisierung durch Typdeklarationen, führt eine Vielzahl von Typrückschlüssen aus und läuft unter Windows.
Es ist jedoch sehr dynamisch, standardmäßig. Das könnte Sie interessieren: Typed Racket.
Es gibt auch eine Version einer Windows-kompatiblen Version von SBCL. https://github.com/akovalenko/sbcl-win32-threads –
Es wirkt aus irgendeinem Grund lustig (siehe den Abstand in den Fehlermeldungen) ... Ich kann nicht herausfinden, was nach einem Fehler zu tun: http: //i.imgur.com/eDYyqbL.png Danke, aber es scheint zu haben, wonach ich gesucht habe. – Mehrdad
Stalin ist eine freie Implementierung Scheme Typinferenz tun (für die gesamte Programmoptimierungszwecken) und mit einem Windows port
Ich bekenne, ich hasse den Namen so sehr, dass ich es nicht viel versuchte.
Camlp5 Scheme syntax ist eine Schema-ähnliche Syntax "Präprozessor" für Ocaml (also hat Typ-Inferenz). Sie sollten es unter Windows ausführen können.
CMUCL ist ein Compiler [Common Lisp] (https://en.wikipedia.org/wiki/Common_Lisp), kein "statisch typisierter Dialekt von Lisp, der Typinferenz ausführt", obwohl der Compiler unter bestimmten Umständen das tun kann Tippfehler (siehe [dies] (http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-hint.html#toc154)). Wenn Sie in den Sprachspezifikationen nach einer Funktionssprache mit Typinferenz suchen, können Sie sich beispielsweise [OCaml] (http://caml.inria.fr/index.en.html) ansehen. –
Vielleicht möchten Sie einige ML mit einer Lispy-Syntax? –