contracts:PyContracts是一个Python包，它允许声明对函数参数的约束并返回值。 可以使用Python3批注...

PyContracts是一个Python包，它允许声明对函数参数的约束并返回值。 它支持基本类型系统，变量绑定，算术约束，并具有多个专用协定（特别是对于Numpy数组）。 作为快速介绍，请参阅。 下面是一个简短的摘要。 请参阅完整的文档，为：< > 原因：PyContracts的目的不是将Python转换为静态类型的语言（尽管您可以按照自己的意愿严格执行），而是避免对各种前提条件进行耗时且令人费解的检查。 实际上，除类型约束之外，我发现强加值和大小约束的功能也很有用。 例如，“我需要至少3个正数的list[>=3](number, >0)) ”可以表示为list[>=3](number, >0)) 。 如果您发现PyContracts对您而言过于矫kill过正，那么您可能想尝试一个更简单的替代方法，例如 。 如果您发现PyContracts不足以满足您的需求，则可能要使用而不是Py