按契约设计

Hacker News 读者推荐

Eiffel 支持循环不变量（loop invariants），例如参见：http://se.ethz.ch/~meyer/publications/methodology/invariants... 另外也可以看看 Meyer 写的关于契约式设计（Design By Contract）的书，就算你以后压根不用 Eiffel 也该读读——绝对是块宝。

mikhailfranco 在 HN 的推荐

也可以读读 Robert Floyd 的论文《Assigning Meanings to Programs》。领会了上述核心思想之后，再去读 Bertrand Meyer 的《Design by Contract》和《Applying Design by Contract》，就会彻底搞明白怎么把这些思想应用到“真实”系统中去。

rramadass 在 HN 的推荐

……只要针对给定的语言和平台搭建好 tooling，这一切都能做到。静态类型只是形式化规范（formal specifications）的一个子集。我建议用后面这个词，这样他们能搜到更多有意思的干货。Meyer 的契约式设计（Design-by-Contract）算是一个门槛较低的做法，基本上在任何语言里都能搞。

nickpsecurity 在 HN 的推荐

找书

豆瓣 微信读书 京东 Open Library

在黑客书架打开完整页面 →

数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。