本书软件摘要的第163页具有此非凡的陈述：
声明的描述风格非常强大，但是 缺点：无意的过度。
哇！
"无意间过度"是在所有声明语言中都出现的问题吗？例如，XML模式中是否发生了无意的过度构造？sql中是否发生了无意的过度构成？
换句话说，合金特有的"无意间过度"的问题是，还是适用于所有声明语言？如果是后者，我将非常感谢解释。
这是连词带来的益处的另一个。在编程语言中，您无法通过说"输出是输入和的列表的列表"来写的，但是您可以说，在规范语言中，允许<<em>和。这赋予了很多力量，尤其是通过实现关注点的分离，它使您可以从最小的约束开始，然后再增加它们。但是有一个缺点：添加太多的约束，您可能最终会犯错（或更糟糕的是，比您预期的要强一些）。合金的Unsat核心设施有助于处理此问题，但不能完全解决问题。