具有合同设计功能的功能语言

Question

我正在寻找一种具有良好的契约设计功能的函数式语言（最好是第一类，但我的好库也可以）。到目前为止，我能找到的最好的是Rackethttp://racket-lang.org/，但我在JVM或CLR上寻找一些东西。

Answer 1

看看Clojure——是Lisp编程语言的一种最新方言。它是一种函数通用语言。它专注于使用不可变值和显式时间结构进行编程，旨在促进更健壮的程序的开发，尤其是多线程程序。

Clojure也可以在.Net上工作。

http://clojure.org/