这款实现 C++、Java、Python 代码互译的工具,很强!

还记得美国前一阵要招聘 60 岁的老程序员吗?都怪编程语言发展太快!
因为新冠疫情的缘故,美国一些地区的失业救济系统不堪重负,而这些系统都是上古语言 COBOL 写的 。

这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
然而,现在早已经是 C/C++、Java、 的天下了,把 COBOL 程序换成 ,何其难也 。
远的不说,2 刚刚淘汰,过去的老程序手工转成3 也是个很大的工程 。
既然 AI 能翻译自然语言,那也应该能翻译编程语言 。
也是这么想的,所以他们最近提出了,一个翻译编程语言的 AI,现在可以在C++、Java、语言之间互译 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
经翻译后的程序,成功运行的通过率最高可以达到 80.9% 。
而且是一种无监督学习算法,意味着不需要大量成对的、标记的编程代码数据集进行训练 。
如果这项技术达到实用化程度,对广大程序员来说真是巨大福音啊!
难怪论文作者之一在上宣布了这篇论文后很快引起了热议 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
翻译编程语言,什么原理?
充分利用了编程语言的特点,比如像 for、while、if 这些关键词以及通用的数学运算符 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
下图展示了 C++、Java 和关键字的嵌入 。在相似的上下文中使用的不同编程语言的关键字在嵌入空间中非常接近 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
例如,中的和 Java、C++ 中的 catch 都用于获取异常,它们被映射到非常相似的嵌入空间位置 。
对于映射的实现(map 和 dict)、用于将字符串转换为字符数组(c_str 和 )以及类似的变量类型 (例如 long、int 和 ),也可以观察到相同的现象 。
那么以上这些关键词的嵌入是如何获得的?
提出了实现无监督编程语言机器翻译的三个原则 。
首先,通过跨语言掩码语言模型(MLM)预处理来初始化模型,这有些类似于自然语言的填空题 。结果是表达相同指令的代码片段被映射到与编程语言无关的相同表示 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
其次是去噪自动编码,它能训练解码器始终生成有效序列,即使在输入有噪声的数据时也是如此,提高了编码器对输入噪声的鲁棒性 。
最后是反向翻译,它允许模型生成可用于训练的并行数据 。每当转 C++ 模型变得更好时,它就会为 C++ 转模型生成更精确的数据,反之亦然 。
通过以上步骤,在训练后获得了之前提到的跨语言嵌入 。
我们观察到,成功地理解了每种语言特有的语法、数据结构、函数库和方法 。
在上面的图中,展示了 Java 和 C++ 独有的三元运算符X ? A : B,翻译到中就变成了if X then A else B 。
以下是一个从翻译到 C++ 的实例 。推断变量和函数返回值的类型,将的deque()容器映射到 C++ 中类似的实现deque,并使用 C++ 的 front、back、 和方法来检索和插入 deque 中的元素,而不是使用方括号、pop 和方法 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
实验结果
为了训练 ,在上寻找了 280 万个开源代码库进行训练,其中包含数百亿个 token 。
这款实现 C++、Java、Python 代码互译的工具,很强!

文章插图
然后去平台去验证翻译成果,该平台是收集各类编码问题,并以多种编程语言提供解决方案 。