Tür çıkarımını gerçekleştiren ve Windows ile uyumlu olan, herhangi bir statik olarak yazılan Lisp lehçesi var mı?Windows için tür çıkarımıyla birlikte Lisp'in statik olarak yazılan lehçesi?
CMUCL buldum ama Windows uyumlu bir sürümü yok gibi görünüyor.
CMUCL'den inen SBCL numaralı bağlantıya bakın. Tip bildirimleri ile statik yazım için iyi bir desteğe sahiptir, bol miktarda sonuç çıkarır ve Windows üzerinde çalışır.
Varsayılan olarak çok dinamik. Typed Racket ile ilgileniyor olabilirsiniz.
Ayrıca, Windows uyumlu bir Windows sürümünün bir sürümü de vardır. https://github.com/akovalenko/sbcl-win32-threads –
Bazı nedenlerden dolayı komik davranıyor (hata mesajlarındaki boşluklara bakın) ... Bir hatadan sonra ne yapacağımı anlayamıyorum: http: //i.imgur.com/eDYyqbL.png Teşekkürler, aradığım şey var gibi görünüyor. – Mehrdad
Stalin serbest Şeması (tüm program optimizasyonu amaçlı) tip çıkarımlar yapıyor uygulanması ve ben onu çok deneyin vermedi o kadar isim nefret itiraf bir Windows port
sahip olduğunu.
Camlp5 Scheme syntax, Ağam için "önişlemci" sözdizimi benzeri bir Şemadır (bu nedenle tür çıkarımı vardır). Windows'da çalıştırmanız gerekir.
CMUCL, [Common Lisp] (https://en.wikipedia.org/wiki/Common_Lisp) derleyicisidir, ancak derleyici bazı durumlarda yapabilmesine rağmen "tür çıkarımını gerçekleştiren Lisp'in statik olarak yazılan bir lehçesi" değildir. çıkarım yazın (bakınız [this] (http://common-lisp.net/project/cmucl/doc/cmu-user/compiler-hint.html#toc154)). Dil özelliklerinde tür çıkarımı olan bir işlevsel dil arıyorsanız, örneğin, [OCaml] (http://caml.inria.fr/index.en.html) adresine bakabilirsiniz. –
Belki bir Lispy sözdizimi olan bazı ML ister misiniz? –