图标集 icontract翔实的违规消息和继承为Python3提供了。 它还为繁荣更广泛的生态系统提供了基础： ， 一个狮身人面像插件， 用于自动测试和代笔测试文件的工具 ，可根据合同推断策略， 以及IDE集成，例如 ， 和 ， 与的持续集成，以及 与的持续集成。 相关项目 有几个合同库。 但是，在撰写本文时（2018年9月），他们都要求程序员学习新的语法（ ）或编写多余的条件描述（例如， ， ， ， ， 和 ）。 该库受到他们的强烈启发，但我们走了两步。 首先，