quid-pro-quo:一个以Eiffel's Design by Contract:trade_mark:风格设计的Comm...

Quid Pro Quo Common Lisp的合同编程库，采用Eiffel的Design by Contract:trade_mark:样式。 这是什么一回事呢？ 每个程序的一个主要目标是可靠性，即正确性和鲁棒性。 如果程序按照其规范执行，则该程序是正确的；如果以一种优雅的方式处理该规范未涵盖的情况，则该程序是健壮的。 证明程序相对于（正式）规范的正确性的一种方法是Hoare演算。 基于这种正式方法，Bertrand Meyer开发了一种称为Design by Contract:trade_mark:的软件工程方法。 合同编程的主要思想是，一个类及其客户彼此之间有一个合同：客户端必须保证某些条件，然后才能调用专门针对该类的方法（前提条件），该类保证调用后的某些属性（前提条件） ）。 如果前置条件和后置条件以编译器可以检查的形式包括在内，则可以立即检测到调用者和类之间的任何违约情况。 支持使用编程语言进行合同编程 为合同编程