Towards Analyzing N-language Polyglot Programs
本文通过识别关键挑战并提出开发可扩展、语言无关的静态分析框架的概念路线图，解决了当前研究在涉及三种或更多语言的多语言系统分析方面的空白。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，你正在建造一座宏伟的高科技房屋。在过去，你可能会只用一种材料（比如木材）来建造整座房子。但在今天，为了让房屋建造得更快、更安全、更高效，你会混合使用多种材料：你用钢材做框架，用玻璃做窗户，用智能塑料做布线。
这就是多语言编程（Polyglot Programming）。开发者正在将不同的计算机语言（如 Java、JavaScript、Rust 或 C++）混合在一个程序中，以获取每种语言的最佳特性。
当前现状：“两人”握手
目前，研究人员已经掌握了如何分析混合使用两种语言的程序。这就像是两个说着不同语言的人在对话，并有一个翻译员在场。他们可以互相传递便条，而翻译员完全明白传达的内容。
然而，现实世界正变得越来越复杂。现代应用通常会使用三种语言组成的链条。
- 示例： 一个移动应用可能以 Java（老板）开始，调用 JavaScript（经理），再由 JavaScript 调用 WebAssembly（工人）。
问题所在：“传声筒游戏”失效了
本文指出，我们用于检查这些程序的工具（称为静态分析）仍停留在“两种语言”的思维模式中。它们就像是只能在 A 人与 B 人之间进行翻译的翻译员。
当你加入第三个人（C 人）时，对话就会变得混乱：
- 连锁反应： 如果 A 人要求 B 人做某事，而 B 人又要求 C 人做另一件事，那么 A 人的原始请求在到达 C 手中时，其含义可能会发生彻底改变。
- 循环： 有时，C 人可能会向 B 人发送消息，B 人再发回给 A 人。这产生了一个“循环”，而旧有的工具无法追踪这种循环。它们会感到困惑并停止工作。
- 缺失的地图： 要理解整座房屋，你需要一张显示钢材、玻璃和塑料是如何连接的地图。目前，我们只有“钢材对玻璃”或“玻璃对塑料”的地图，我们还没有一张涵盖整个三方连接关系的完整地图。
语言交流的三种方式
论文通过简单的类比描述了语言连接的三种方式：
- 桥梁（不同的运行时/Runtimes）： 想象这些语言居住在不同的城市。为了交流，它们使用一座桥（特殊的接口）。一个城市通过桥梁运送一辆卡车，将包裹送到另一个城市。这在 Java 应用调用 C++ 库时很常见。
- 通用翻译机（共同的中间表示/IR）： 想象每个人在交谈前都同意使用一种“通用语言”（比如某种秘密代码）。他们都将自己的母语翻译成这种代码，然后由一台计算机运行该代码。这就像 Java、Scala 和 Kotlin 都使用“Java 字节码”进行交流。
- 共享库（嵌入式/Embedded）： 想象一种语言被构建在另一种语言内部，就像一把瑞士军刀。主工具（宿主）的手柄里内置了一个小工具（访客）。它们共享同一个空间。
新的挑战：“三脚凳”
论文关注的是最难的情景：链条中的三种语言。
- 语言 A（入口）调用 语言 B（中间层）。
- 语言 B 作为 语言 C（底层）的老板。
作者说，仅仅给两脚凳增加第三条腿并不只是让它变大，而是彻底改变了物理法则。中间语言现在既是“老板”，又是“工人”。它必须把来自 A 的信息翻译给 C，有时 C 也会通过 B 向 A 发回信息。
提议的解决方案：新的路线图
这篇论文目前还没有产出最终产品，它是一份蓝图，旨在为未来的研究提供方向。他们提出了一种分析这些系统的新方法：
- 基于摘要的分析（Summary-Based Analysis）： 与其阅读每种语言的每一个字（这太慢了），研究人员希望为每种语言创建“摘要”或“速查表”。
- 类比： 你不需要阅读整本汽车发动机说明书，你只需要看一眼摘要卡，上面写着：“如果你踩下油门，车就会移动。”
- 目标： 创建一个系统，能够阅读语言 A 的“速查表”，结合语言 B 的“速查表”，再结合语言 C 的“速查表”，从而在不迷失于细节的情况下理解整个系统。
为什么这很重要
作者希望引发讨论。他们认为，随着软件变得越来越复杂（混合 3 种、4 种甚至 n 种语言），我们需要新的工具，这些工具不能只一次看一种语言。我们需要一个“语言无关（language-agnostic）”的框架——一个通用的工具，能够理解不同语言如何交互，无论涉及多少种语言。
简而言之： 我们正在从用两种材料建造房屋转向用十种材料建造摩天大楼。我们需要新的蓝图和新的检查员，他们不仅要了解两种材料如何匹配，还要了解所有十种材料是如何协同工作的。这篇论文是绘制这些新蓝图的第一步。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。