函數式語言與合同簽訂設計

Question

我尋找與合同簽訂好的設計函數式語言（最好是一流的，但我好的庫也將做）。最好我能找到到目前爲止球拍http://racket-lang.org/，但我在JVM或CLR上尋找某些東西。

Answer 1

看的Clojure - 是最近Lisp的編程語言的方言。它是一種功能性通用語言。它注重與不變的價值和進展的時間明確的結構編程只是爲了便於更健壯的程序，特別是那些多線程的發展。

同樣的Clojure可以在淨工作。

http://clojure.org/