萧伟来自凹非寺
量子比特报告|公众号 QbitAI
最近，华为将开发自己的编程语言的消息突然在网上火了起来。
据微博博主@IT工程师介绍，华为正在开发一种新的自主编程语言"苍古"，由南京大学计算机科学与技术系博士生导师冯新宇领导。
< h1级"pgc-h-right-arrow"> @IT微博的授权工程师
</h1>
此事尚未得到官方证实，但据悉，匿名用户透露，华为研究自身编程语言的意图早已是业内公开的秘密。
<h1类"pgc-h-arrow-right">"华为自学编程语言已经不是什么秘密了"</h1>
<h1 类"pgc-h-arrow-right" > "编译器实验室已经存在"</h1>
事实上，华为长期以来一直是编译器和编程语言的推动者。
方舟编译器是华为在编译器方向的研究成果之一。
2019年8月31日，华为在开源平台上发布了方舟编译器的源代码，这是华为首个完全开发的编译器平台。
了解猫的胡施说，华为2012年的实验室在中央软件研究所下有一个编译器和编程语言实验室，该实验室已经存在多年。
从网上的招聘信息可以看出，华为2012 Lab的中央软件研究所确实有编译器实验室和芯片软件协同设计部门，"在编译器和芯片软件协同设计领域已有10多年的历史"。
< h1 类"pgc-h-right-arrow">图片的来源
那么，你为什么要做这项研究呢？
在去年的一次交流中，华为消费者BG软件部门总裁王成禄博士提到了华为为什么要做实验室和编译器，据认识这只猫的胡斯奇说。
简单地说，华为早就发现，在核心网络设备上编译可以大大提高性能（通信设备也有性能要求），然后开始有小团队来编译。也就是说，华为在做方舟编译器之前已经做了很多年的编译工作。
在制作智能手机的过程中，华为想让手机像iPhone一样流畅，但遇到了很多困难，其中之一就是Android虚拟机机制。
于是他们做出了一个非常重要的决定——（研发）方舟编译器，其实这不仅仅是针对手机平台，还有通信设备等，华为所有的编译工作都统一起来，提高了整体效率。
然而，Ark编译器面临着Java的反射机制等问题，这些问题需要解决。
所以，对于华为要自己研究编程语言的消息，知道这只猫的胡斯基推测，自学编程语言迟早是一步。
<h1级""pgc-h右箭头">"相关领域的专家加入"</h1>
此外，有知情人士知道，网友爆料称，华为近代在相关方向上的招聘规模也非常大。
华为于2014年聘请了前IBM并行计算语言和编译器专家Peng Wu，在美国一个研究实验室，该实验室获得了2012年PACE最佳论文奖。
根据吴鹏LinkedIn，她于2014年12月加入华为编译器编程技术实验室担任高级总监，并于2019年5月加入华为美国子公司Futurewei担任技术总监，负责编程语言设计和编译器框架设计。
< LinkedIn"pgc-h-right-arrow">图像的来源
就在今年，华为在爱丁堡大学成立了编程语言实验室，并聘请了Dan R. Ghica担任主任，他目前正在招聘编程语言工程师的博士实习生。
< h1级"pgc-h-right-arrow">爱丁堡大学的官方网站
从谷歌的学术角度来看，Dan R. Ghica的主要研究重点是编程语言，h指数为22，该论文已被引用超过一千次。
< h1类"pgc-h-right-arrow">图片来源 Google Academic
而在这个传闻中，苍谷的负责教授冯新宇是谁呢？
<H1级"pgc-h-right-arrow">冯新宇？</h1>
根据南京大学的官方网站，冯新宇教授毕业于南京大学，主修计算机科学，后来在耶鲁大学学习计算机科学，并在AT-T实验室实习。
< h1级"pgc-h-right-arrow">南京大学官方网站
冯新宇教授主要从事程序验证、并联理论和编程语言理论的研究，是我国高校编程语言方向方面的专家。
冯新宇教授曾于2010年至2017年担任中国科技大学教授，18年后来到南京大学，目前担任教授，并带领团队获得2019年PLDI优秀论文奖。
据匿名用户透露，冯新宇教授可能是内地大学最活跃的POPL和PL顶尖人物之一。
此外，冯新宇的导师、中国科学技术大学初级班校友余忠教授毕业于普林斯顿大学，对编程语言和编译系统有深入的了解。
< h1级"pgc-h-right-arrow">中国科学技术大学官方网站
余忠教授开发了SML语言编译器SML/NJ，对"经过验证的可信软件"领域进行了深入研究，在THEP上发表了5篇论文，是国内第一位发表POPL论文的学者。
< h1类"pgc-h-arrow-right">谷歌和苹果已经有了自学编程语言。</h1>
事实上，谷歌和苹果都推出了自己的编程语言。
谷歌在2009年推出了Go语言，它被设计为运行速度快，同时编译良好，使其更容易编写。
这也使得Go语言在语法上更加有限，但它确实在"运行速度"，"编译速度"和"易于上手"之间找到了平衡，并成为更流行的编程语言之一。
苹果还在2014年的WWDC上推出了自己的Swift语言，凭借其类似Python的易用性和操作效率，曾经是年度最受欢迎的TOP 15编程语言之一。
< h1 级"pgc-h-arrow-right">，用于尚未提供的"金丝雀"</h1>
不少网友对华为自学编程语言"苍古"发表了看法。
< h1 类"pgc-h-right-arrow" >1，稳定、开源几乎是必需的。</h1>
事实上，我国并非没有"自学编程语言"。
今年1月，中国科学院计算技术研究所推出了基于Python的编程语言Magnolia。
不过，《花木兰》项目负责人刘磊却用了"完全独立的设计、开发、实现"来形容编程语言。
中国科学院官员后来回应说，刘磊在"夸大宣传"，这种说法是"虚假陈述"，而且这种语言正在逐渐消失在公众视野中。
<h1类"pgc-h-right-arrow">"花木兰"的编号例程，其来源被称为"吴伟"
有了《花木兰》的先例，对于这个华为的"苍古"，我们知道吴伟认为国产编程语言应该是稳定的，开源几乎是必要的。
学习木兰花的一些经验教训（欢迎参与复制），尽早开源，尽量避免传播这个词。如果目标是一种通用编程语言，那么它应该对当今市场上的英语编程语言开放。开源几乎是必须的。在这个特殊时期，需要放在显微镜下看，最好早点准备。如果你不开源，即使外人想帮助反击谣言，延迟和成本也可能是巨大的。起初《白玉兰》虽然有反编译版，但毕竟不是官方渠道，掩盖却让谣言迅速占据了主众舆论。
<h1级"pgc-h-right-arrow">2，不应该只是为了解决"自学"</h1>
针对这一消息的启示，@DBinary认为"自学"不应该是重点，"苍古"应该拿出一个更有说服力的价值体现。
一种语言要发展起来，首先不讲生态，好说这种语言的诞生是为了解决什么问题。而这种叫苍古的语言，仅仅是为了解决"自学"吗？
如果这只是学习编程语言的问题，那真的没什么大不了的，你看我自己写了一种叫做StoryScript的语言，从词汇分析器，编译器，虚拟机，调试器开始，一切。除了我之外，这种语言不应该被第二人称使用，不是因为语言高大，而是因为没有人能看清。
< h1 类"pgc-h-right-arrow" >3，不要使用"Char"作为英文名称</h1>
当然，如果只是关于这件事，要知道苏媛说，从爆炸性的"苍古"英文名字Char来看，其实并不是一个好的选择，我希望在正式发布的时候，选择一个更好的名字。
Char表示计算机中的字符，Char在几乎所有编程语言中都是一个概念。如果重命名新的语言名称和计算机通用术语，则它们在内容搜索中已经处于固有的劣势。想要找到仓库数据的开发人员将充满大量不相关的信息。按权重排名，前五页可能没有一页具有Canggu语言的结果。
那么，您如何看待华为的自学编程语言"苍古"呢？
@IT工程师的推文：https://weibo.com/1749224837/JiAFh0oFM?type=repost#_rnd1599465214374
知道答案：https://www.zhihu.com/question/418762759/answer/1452144290
知道苏元的答案：https://www.zhihu.com/question/418762759/answer/1458729514
认识这只猫的胡斯基的回答是 https://www.zhihu.com/question/418762759/answer/1459388553
@DBinary的答案：https://www.zhihu.com/question/418762759/answer/1458923757
从匿名用户那里知道答案：https://www.zhihu.com/question/418762759/answer/1454618474
相关链接：
https://cs.nju.edu.cn/xyfeng/research/feng-cv.pdf
https://www.lagou.com/jobs/6842654.html?show=
https://blogs.ed.ac.uk/he-lab/2020/08/26/phd-internship-programming-language-engineer/
https://www.cs.bham.ac.uk/~drg/pubs.html
- 完成 -
量子位 QbitAI 头条签名
关注我们，抢先了解尖端技术