代码之家 › 专栏 › 技术社区 › GreyGeek

具有契约设计特征的功能语言

design-by-contract clr jvm functional-programming

GreyGeek · 技术社区 · 13 年前

我正在寻找一种具有良好合同设计功能的函数式语言(最好是一流的,但我的好库也可以)。到目前为止,我能找到的最好的是Racket http://racket-lang.org/ ,但我在JVM或CLR上寻找一些东西。

1 回复 | 直到 13 年前

ymn 13 年前

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

Clojure也可以在.Net上工作。

推荐文章

20chan · 无法理解为什么无法编译对象初始值设定项中的数组初始值设定项

8 年前

Nicola · C++CLI项目中非托管数据上的C#指针

8 年前

Anton Savelyev · 在发布版本中删除类指针会导致内存问题

8 年前

shmnff · 显式转换int到SqlInt32

8 年前

willem · 在里面NET,我何时必须引用外部库也引用的DLL?[副本]

8 年前

Dmitry · 在Microsoft SQL Server中哪里可以找到CLR函数文本?

8 年前

Alex12 · windows窗体中的C++if语句[关闭]

8 年前

Claude Tan · 类型定义和类型引用之间有什么区别?

8 年前

Paul Hitchcock · 如何确定Kernelbase中未处理异常的AppCrash原因。应用程序启动前的dll?

8 年前

John K · Kentico 10是否使用了与以前版本不同的程序集加载/探测/处理策略?

8 年前