#类型检查
type-guard
type-guard是Pinkary Project的一个开源模块,用于PHP变量类型的缩小和断言。它提供type函数进行对象类型检查,支持PHPStan和Psalm静态分析。该库包含多种类型断言方法,如asInt()和asString(),有助于增强PHP代码的类型安全性。
tsimp
tsimp是专为Node.js设计的TypeScript模块加载器,采用微软官方TypeScript实现。它通过持久化守护进程和大量缓存提高性能,同时保持完整的类型检查。tsimp确保与tsc程序严格一致,支持Node v20.6新特性,专注模块加载并默认启用类型检查。无需额外tsc步骤,适合频繁运行TypeScript程序的开发环境。
react
该指南系统性地介绍了在React项目中集成TypeScript的方法。从基础设置到高级应用,内容全面涵盖了函数组件、Hooks和类组件等关键概念的TypeScript实现。通过实用的代码示例和排错技巧,为不同水平的开发者提供了切实可行的参考。指南致力于提升开发团队在React项目中运用TypeScript的能力和效率。
types-with-jsdocs
该项目展示了如何在JavaScript中利用JSDoc实现TypeScript类型检查。仓库包含React应用类型使用示例,介绍了全局TS检查和错误忽略方法。项目还汇集了JSDoc、类型转换和文档生成等相关资源,为开发者提供全面的参考材料。
pyre-check
Pyre是一款符合PEP 484标准的高性能Python类型检查器,能对大规模代码库进行增量分析,为开发者提供即时反馈。项目还包含Pysa,一个基于Pyre的安全导向静态分析工具。Pyre支持Python 3.8及以上版本,安装配置简便。通过命令行接口,Pyre能快速检测类型错误,有助于提升代码质量和安全性。
awesome-python-typing
该项目汇集了Python类型注解相关的全面资源,包括静态和动态类型检查器、存根包、附加类型、实用工具和集成方案。涵盖了从mypy到pyre等主流类型检查器,以及用于注解添加、类型处理和测试的多种工具。此外还提供了相关PEP文档链接,为开发者提供了系统的Python类型注解参考资料。