静态地键入python 3的一个子集
nope的Python项目详细描述
待办事项
- 在类上定义 \u add\uu 和类似方法时， 类型签名应该是特定的，例如在int上， int ->； int 。 但是，为了保持与python的兼容性， 类型检查器应该假设参数是 检查实际方法，因此仍然必须使用ISINSTANCE或类似方法。
- 支持r版本的运算符，例如 \uu radd
- 继承
- 初始化方法
- 标准库支持
- 一种在每个平台上指定依赖项以允许加垫片的方法 将现有库转换为公共接口。
- 允许以与函数相同的方式指定变量类型，例如 作为给出空列表的类型。
- 如果类定义体包含类型为object的值，则 是一个函数（但在运行时无法确定），如何 应该治疗吗？在python中，如果它是一个函数，我们将它绑定到 实例。在其他语言中也可以明智地这样做吗？ 结果是需要检查对象类型的任何值 至于它是否是一个函数来保持一致性。
- 内置功能的正确测试
- 防止重新定义函数和类
- 允许相互递归函数
- 确保在键入规则中使用所有签名
欢迎加入QQ群-->： 979659372
