标签： functional-programming jvm clr design-by-contract
我正在寻找一种功能性语言，通过合同功能设计好（最好是头等舱，但我也会做好书）。到目前为止我能找到的最好的是Racket http://racket-lang.org/，但我在找东西在JVM或CLR上。
答案 0 :(得分：1)
看看Clojure - 是Lisp编程语言的最新方言。它是一种功能性的通用语言。它专注于使用不可变值和明确的时间进度构造进行编程，旨在促进更强大的程序的开发，特别是多线程程序。
Clojure也可以在.Net工作。
http://clojure.org/