静态类型语言Gleam发布1.14.0版本，主要增强了对外部类型的支持。新版本为外部类型提供@external注解支持，允许开发者指定Erlang或TypeScript类型定义。此外还改进了二进制数据模式匹配的推理优化，增加了数字规范化功能以提升性能，并优化了JavaScript编译时的相等性测试速度。

这项由复旦大学、上海齐冀智风科技有限公司和上海创新研究院联合完成的研究发表于2026年1月，论文编号为arXiv:2601.11077v1。研究团队开发了名为ABC-Bench的全新评估基准，专门测试AI代码智能体在真实后端开发场景中的综合能力。