Kotlin: 一种支持多平台编程的静态类型语言 Kotlin 是一种开源的静态类型编程语言,由 JetBrains 和开源社区共同开发维护。Kotlin 的主要优势之一在于其对多平台编程的强大支持。Kotlin 能够显著减少为不同平台编写和维护重复代码所需的时间,同时保留了原生编程的灵活性和优势。 Kotlin 24 次浏览 2024-06-08
typebox:具有用于TypeScript的静态类型解析度的JSON架构类型生成器 文字框具有用于TypeScript的静态类型解析的JSON模式类型生成器例import { Static , Type } from '@sinclair/typebox' const T = Type . String ( ) /* const T = { "type": &q Typescript 18 次浏览 2024-08-01
phpmd:PHP代码静态检查工具 phpmd是一款用于PHP代码的静态检查工具,能够寻找源代码中的潜在问题,如可能的错误、不够优化的代码、过于复杂的表达式以及未使用的参数、方法和属性。 PHP 19 次浏览 2024-04-22
matchkin:TypeScript 静态检查的穷举匹配 matchkin 是一个 TypeScript 库,用于创建可以静态证明是详尽无遗的值匹配器。它确保处理所有可能的值,并提供额外的好处: 始终需要默认块,确保所有情况都得到处理。 在类型系统确信处理了所有情况时,禁止默认回退。 创建匹配器的调用会得到静态检查,以确保可以对结果匹配器执行。 Typescript 20 次浏览 2024-05-02
nebulas智能合约静态检查器nebstaticcheck nebcontractchecker提供了对星云链Javascript智能合约进行静态检查的能力,安装依赖nodejs 8+即可开始构建。 具体用法:1. 使用Node.js运行后台/ index.js2. 访问index.html Nodejs 22 次浏览 2024-05-03
ImageScoutSwift中快速实现图像尺寸和类型检查 ImageScout 是一个由 Swift 实现的库。它允许您在下载远程图像之前,快速确定其 大小 和 类型,从而避免不必要的数据传输。有时候,您可能需要在下载图像之前,了解其 大小,例如,在 UICollectionView 中使用自定义布局时。ImageScout 会解析下载的图像数据,并在获取 Swift 0 次浏览 2025-04-10
TS-Expect:检查TypeScript类型是否符合预期 TS-Expect使用TypeScript编译器检查值是否符合预期类型。它导出了一个不执行任何操作的函数expectType,而是依赖TypeScript编译器,对传递给expectType的值的类型进行测试,该类型可以在类型系统中分配给它的泛型。 ts-expect让您明确定义传递值的类型,以便编 Typescript 17 次浏览 2024-04-26
html结婚类型的静态网页源码 网页是结婚类型的。适用于懂html的技术人员。压缩包中包含了css代码文件,图片文件,javascript代码文件。 Javascript 22 次浏览 2024-09-02