Typia v9.0.1发布:JSON Schema生成能力全面升级
Typia是一个高性能的TypeScript验证和转换库,它能够将TypeScript类型定义直接转换为运行时验证器,同时支持JSON Schema生成等功能。最新发布的v9.0.1版本带来了JSON Schema生成能力的重大改进,特别是在数字类型约束和示例属性处理方面。
数字类型约束的改进
新版本对JSON Schema中数字类型的约束条件进行了重要调整:
-
exclusiveMinimum/exclusiveMaximum类型变更:这两个属性从原来的boolean类型改为number类型。这一变化是为了更好地支持Anthropic Claude等AI系统的要求,使生成的Schema更加符合实际应用场景。
-
无符号整数类型的增强:当使用
number & tags.Type<"uint32">这样的类型标签时,生成的JSON Schema现在会自动包含minimum: 0约束条件,确保数值的非负性。这对于需要严格数值范围验证的场景特别有用。
示例属性的灵活处理
考虑到实际工业环境中的使用习惯,新版本对examples属性的处理变得更加灵活:
-
支持多种格式:现在
examples属性可以接受Record<string, any>或Array<any>两种格式,而不仅仅是OpenAPI v3规范中定义的Record<string, any>格式。 -
兼容性提升:这一改变解决了之前许多用户在使用
typia.assert<OpenApiV3_1.IDocument>(doc)验证OpenAPI规范时因examples属性类型不匹配而失败的问题。
其他改进
-
注释标签修复:修复了
@exclusiveMinimum等注释标签的解析问题,确保代码注释中的类型约束能够正确反映到生成的Schema中。 -
类型系统增强:整体上提升了类型系统与JSON Schema规范的匹配度,使开发者能够更准确地定义和验证数据结构。
升级建议
对于正在使用Typia进行API开发或数据验证的项目,特别是那些需要与AI系统如Anthropic Claude集成的项目,建议尽快升级到v9.0.1版本。新版本不仅提供了更好的兼容性,还在类型约束方面提供了更精确的控制能力。
需要注意的是,由于exclusiveMinimum和exclusiveMaximum的类型变更属于破坏性更新,升级后可能需要检查相关代码是否需要进行相应调整。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
jiuwenclawJiuwenClaw 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。Python0194- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
AtomGit城市坐标计划AtomGit 城市坐标计划开启!让开源有坐标,让城市有星火。致力于与城市合伙人共同构建并长期运营一个健康、活跃的本地开发者生态。01
awesome-zig一个关于 Zig 优秀库及资源的协作列表。Makefile00