我正在寻找一种具有良好合约特征设计的功能性语言(最好是一流的，但我也能做到很好的库)。到目前为止，我能找到的最好的语言是Racket http://racket-lang.org/，但是我正在JVM或CLR上寻找东西。
最佳答案
看一下Clojure-Lisp编程语言的最新方言。它是一种功能通用语言。它专注于使用不可变值和显式的时间进度构造进行编程，旨在促进更健壮的程序(尤其是多线程程序)的开发。
Clojure也可以在.Net上工作。
http://clojure.org/
关于functional-programming - 具有按契约(Contract)设计功能的功能语言，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/11715410/