- 授权协议: EPL
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.polyglotprogramming.com/contract4j
软件介绍
Contract4J，这是契约式设计的工具，它用 Java ™ 5 标注（annotation）指定合约，并在运行时用 AspectJ 方面计算合约。在成为 AOP 工具包中新增的一个举足轻重的工具的同时，Contract4J 迎合了面向方面设计的新趋势。
契约式设计（Design by Contract）是切实可行的技术，可以阐明组件设计的细节、为客户记录正确的组件用法，并用编程的方式测试组件使用的顺应性（compliance）。
Haskell函数式编程基础
Simon Thompson / 科学出版社 / 2013-7-1 / 129.00
《Haskell函数式编程基础（第3版）》是一本非常优秀的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易......一起来看看 《Haskell函数式编程基础》 这本书的介绍吧!
