不允许混合数据类型。如果开发人员犯了一个错误例如他试图将一个字符串和一个整数相加解释器就会抛出一个错误。中的类型检查支持类型注释指定数据类型就像静态类型一样。开发人员使用的指令不会被解释器读取但在使用静态代码分析器检查类型时会有所帮助。数据类型注释的好处提高了可读性和整体代码质量。程序员不会对数据类型感到困惑因为它们在代码中明确指定。错误检测。使用分析器时所有错误都会提前在程序的控制台版本或使用的中指出。便于最终代码审查。类型检查消除了单元测试的使用从而加快了开发过程。最好的数据类型检查工具我的可以被认为是的第一个数据类型检查工具。该库的工作始于年目前仍在积极开发中。成为中其他类似的第三方库的原型尽管从那时起已经有许多新工具扩展了它的功能。
工具可以单独运行也可以从命令行运行。它还可以成为编辑器的一部分或作为代码控制工具内置到中。支持许多和编辑器都对提供原生支持。的模块也可以直接与系统一起工作。当运行时它 秘鲁 WhatsApp 号码列表 会根据从中收集到的数据类型信息生成代码一致性报告。如果代码不支持类型注释将不会执行其武器库中的大部分检查。但该工具也可用于在没有注释的情况下进行类型定义。您可以根据目标对数据类型检查进行多种严格程度的检查。
工作原则如果从头开始源代码库并主动遵循严格的统计代码分析策略选项将不允许任何未类型化的代码。但是假设我们正在使用没有很多类型声明的遗留代码。然后更柔和的选择就可以了。例如您只能通过使用选项并允许其他未类型化代码来禁止没有类型声明的函数定义。此外您始终可以使用等内联注释来保护个别行不被检查。存根文件允许您使用存根文件并对模块公共接口使用类型注释。此外中还提供了一个特殊的插件。该工具会根据您拥有的代码自动生成存根文件。