**Code Metal 提出基于 Schema 的接口生成器，解决 LLM 代码翻译中的类型映射正确性问题**

_Apples to Apples: Getting Type Mappings Right in LLM-Based Code Translation_

> 针对 LLM 代码翻译中“编译通过但行为改变”的痛点，Code Metal 团队探讨了类型映射的正确性标准，即转换健全性（Conversion Soundness）和往返保持性（Round-trip Preservation）。文章指出，正确的类型映射需确保源语言值在转换后仍被目标语言类型系统接受，且在支持范围内能无损还原。Code Metal 利用基于 Schema 的接口生成器构建经过验证的、行为保持的类型映射，以应对跨语言复杂代码库翻译中的类型语义差异挑战。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-10-14 09:19（北京时间）
- **原文**：[打开原文](https://www.codemetal.ai/research/apples-to-apples-getting-type-mappings-right-in-llm-based-code-translation)