Hacker"Agility & Robustness: Clojure spec" by Stuart Halloway
Strange Loop ConferenceYouTube ↗
延伸阅读 1
字幕解读
Halloway 将数据约束同时用于检查和生成示例。生成器可以带出作者没手写的输入组合；能否揭露业务错误仍取决于写下的性质是否足够具体。
逐字稿（按段落定位） ↗ · 引文按字幕原文展示，可点时间戳回看片段。
补充字幕原文 2
when you spec something, Clojure can generate example data for youdata that could be conformant to your needs in more than one way