快速注册 找回密码

QQ登录

只需一步,快速开始

查看: 810|回复: 5

华为被曝自研编程语言“仓颉”,南大传授冯新宇领衔 ...

[复制链接]

该用户从未签到

升级  41.75%

送鲜花(0) 砸鸡蛋(0)
发表于 2021-2-23 23:17:42 | 显示全部楼层 |阅读模式
提示您:未得到智伍应用正式版的授权,部门功能受到影响!



尊重的用户,您好!!


非常感谢您能安装智伍应用旗下的产物,为了产物的可连续发展和升级,云收罗已经开始按天收费,发起购买200天,免费赠予400天,一共600天,均匀天天仅需1.67元。


向用户收费是为了给用户更可靠的保障和服务,所收取的费用重要用于产物的正常运作、不停研发和改进,盼望各位用户可以或许明白和支持。



购买正式版授权请打开下面的网址自助购买:
www.zhiwu55.com/authorization/buy_end_time.php?hzw_appid=B4592D53D254F99549C9FBF696104B22



购买之后,主动开通正式版授权,新收罗的内容不会再出现未购买授权的提示信息,同时智伍应用旗下全部含云收罗功能的产物,都无需再次购买云收罗的正式版授权,即云收罗的授权可以在智伍应用的各个产物那边通用!


假如您已经购买了正式版,照旧会出现未购买授权的提示,大概有别的题目,请接洽智伍应用官方在线客服QQ/微信:2085244671




克日,华为要自主研发编程语言的消息突然在网上火了。
据微博博主 @IT 工程师 称,华为正在研发新的自主编程语言仓颉,领头人是南京大学的盘算机科学与技能系博士生导师,冯新宇。

jP2p728u6O0Bxz7X.jpg

图源微博 @IT 工程师,经授权
现在这件事尚未得到官方证明,但据知乎 @匿名用户 透露,华为故意研究本身的步伐语言,在行业内早已是公开的机密

nDj5ammWzSzVvTdw.jpg

「华为自研编程语言并非机密」" 编译器实行室早已有之 "
究竟上,华为在编译器与编程语言方面早有动向。
方舟编译器,就是华为在编译器方向的研究结果之一。
2019 年 8 月 31 日,华为在开源平台上放出了方舟编译器的源代码,这是华为首个完全自主研发的编译器平台。
知乎 @养猫的哈士奇表现,华为 2012 实行室的中心软件研究院下面有一个编译器与编程语言实行室,这个实行室已经存在许多年了。
从拉勾网上的雇用信息可以瞥见,华为 2012 实行室的中心软件院下面简直有一个编译器实行室 & 芯片软件协同计划部,「在编译器及芯片软件协同计划范畴耕耘 10 余年」。

xAy4wCYK1YUN0wZ1.jpg

图源拉勾网
那么,为什么要举行这方面的研究?
知乎 @养猫的哈士奇 表现,客岁一次交换中,华为消耗者 BG 软件部的总裁王成录博士,提到了华为为什么要搞这个实行室、做编译器这些东西。
简朴来说,就是华为很早从前就发现,在焦点网装备上本身编译,可以大大进步性能(通讯装备也是有性能要求的),厥后就开始有小规模的团队来做编译。也就是说,在做方舟编译器之前,华为已经做了许多年编译的相干工作了。
在做智能手机的过程中,华为想把手机做到像 iPhone 一样流通,但碰到许多困难,此中很紧张的一点就是 Android 的假造机机制。
以是他们做了一个很紧张的决定——(研发)方舟编译器,究竟上这不但是针对手机平台、还包罗通讯装备等,将华为全部的编译工作都同一起来,全面提拔效能。
然而,方舟编译器面对着 Java 的反射机制等题目,这些是必要办理的。
以是,对于这次消息称华为要自研编程语言的消息,知乎 @养猫的哈士奇 推测,自研编程语言是早晚要迈出的一步。
" 相干范畴专家参加 "
别的,有知乎网友爆料,华为近段时间在相干方向的招人也非常大手笔。
2014 年的时间,华为在美国的研究实行室就聘任了 Peng Wu,她此前曾经在 IBM 工作十几年,是并行盘算语言和编译器范畴的专家,曾经得到过 2012 年 PACT 的最佳论文奖。

nuPCYP25NN2132QI.jpg

据 Peng Wu 在领英上的资料,她于 2014 年 12 月参加华为编译器 Programming Technologies Lab 任资深总监,并于 2019 年 5 月参加华为的美国子公司 Futurewei,担当技能总监,负责编程语言的计划、编译器框架的计划。

M9v4vr5yNyN9p9uT.jpg

图源领英
而就在本年,华为在爱丁堡大学建立了编程语言实行室(Programming Languages Lab),又找了 Dan R. Ghica 做总监,现在,这个实行室已经在雇用编程语言工程师的博士练习生。

b6llrrDQ9rWdc6QC.jpg

图源爱丁堡大学官网
从谷歌学术来看,Dan R. Ghica 的重要研究方向就是编程语言,h-index 达 22,论文一共被引用一千余次。

hC6UAnCwUUWg47GN.jpg

图源谷歌学术
而这次传言中负责「仓颉」的传授冯新宇,毕竟是什么人呢?
冯新宇为何人?
根据南京大学的官网先容,冯新宇传授本硕结业于南京大学盘算机科学专业,今后于耶鲁大学就读盘算机科学博士,期间曾经在 AT&T 实行室练习。

pMRHRZ3G8OnRmj0K.jpg

图源南京大学官网
冯新宇传授重要从事步伐验证、并发理论、步伐计划语言理论方面的研究,是我国高校编程语言方向的专家。
2010-2017 年期间,冯新宇传授曾经在中科大就任传授,并于 18 年以厥后到南京大学,现在在南京大学就任传授,并于 2019 年领导团队得到 PLDI 良好论文奖。
知乎 @匿名用户 表现,冯新宇传授大概是在大陆高校就职发 POPL 和 PL 顶会最多的人(之一)。
别的,冯新宇的导师、中科大少年班的校友邵中传授,硕博结业于普林斯顿大学,对编程语言及编译体系相识非常深入。

PIAZImiIFvnAJP5I.jpg

图源中国科学技能大学官网
邵中传授曾为 SML 语言研发编译器 SML/NJ,对 " 带证实可信软件 " 范畴有深入研究,在 POPL 上发表过 5 篇论文,也是国内首个在 POPL 上发论文的学者。
谷歌、苹果已有自研编程语言
究竟上,谷歌与苹果都已经推出了本身的编程语言。
谷歌于 2009 年就推出了 Go 语言,这门语言计划的目标,是为了在运行速率快的同时,编译速率也不错,同时也更轻易上手编写。

aveTDcERsCtcWPM2.jpg

这也使得 Go 语言的语法限定较多,但它简直找到了 " 运行速率 "、" 编译速率 " 和 " 上手轻易 " 三者的均衡点,成为现在较受接待的编程语言之一。
而苹果也于 2014 年在 WWDC 上推出了本身的 Swift 语言,并依附着雷同于 Python 的易用性、和较强的运行服从,一度在当年跻身成为最受接待 TOP 15 的编程语言之一。
对于尚未面世的「仓颉」
对于华为这次的自研编程语言「仓颉」,很多网友表达了本身的见解。
1、走稳些,开源险些是必须的
究竟上,我国此前并非没有 " 自研编程语言 "。
本年 1 月份,中科院盘算技能研究所推出了 " 木兰 "(μ lang),这是一门基于 Python 实现的编程语言。
然而 " 木兰 " 项目负责人刘雷,却用了 " 完全自主计划、开辟和实现 " 来形容这门编程语言。
中科院官方随后回应,刘雷 " 夸大宣传 ",如许的说法属于 " 虚伪报告 ",这门语言也渐渐消散在大众视野中。

R2qTGM27mq2rGiyq.jpg

" 木兰 " 猜数字例程,图源知乎 @吴烜
有了 " 木兰 " 的先例,针对这次华为的「仓颉」,知乎 @吴烜 以为,国产编程语言应该走稳些,而且开源险些是必须的
汲取木兰的一些教导吧,赶早开源,只管制止以讹传讹。假如目的是通用编程语言,就要和如今市场上的英文编程语言在开放性上对齐。开源险些是必须的。在此特别时期,一定被放到显微镜下看,不如早作预备。
2、不应仅仅为了办理 " 自研 "
针对这次的消息爆料,知乎 @DBinary 则以为," 自研 " 不应是重点,「仓颉」应该拿出更有说服力的代价表现。
一门语言要发展,先不说生态,好歹说说这门语言诞生出来为了办理什么题目。而这个叫仓颉的语言,岂非就仅仅是为了办理 " 自研 "?
假如只是拿自研编程语言这件事来说,真的不是很高大上的事变,你看我本身就写了一个叫 StoryScript 的语言,从词法分析器开始写,编译器、假造机、调试器、包罗万象。这个语言,除了我之外应该没有第二个人会用了,不是由于语言高大上,而是由于没人看得上。
3、不要用 "Char" 当英文名
固然,假如仅仅就事论事,知乎 @苏远 表现,从爆料的「仓颉」英文名 Char 来说,实在不是一个好选择,盼望正式发布时,选个更好的名字。
Char 在盘算机里是字符的意思,险些全部编程语言里都有 Char 的概念。 假如一个新语言名字和一个盘算机通用术语重名,在内容搜刮方面已经天赋处于倒霉职位。 开辟者想查找仓颉的资料,肯定会充斥着大量的无关信息。按照权重排名,很大概前五页都没有仓颉语言的效果。
那么,对于华为自研编程语言「仓颉」一事,你怎么看?
@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
  • TA的每日心情
    无聊
    2021-2-23 22:52:26
  • 签到天数: 7 天

    [LV.3]偶尔看看II

    送鲜花(0) 砸鸡蛋(0)
    发表于 2021-2-23 23:18:14 | 显示全部楼层
    毫偶然义

    该用户从未签到

    送鲜花(0) 砸鸡蛋(0)
    发表于 2021-2-23 23:18:46 | 显示全部楼层
    作为生态的一部门,自有编程语言是必须的。可以极大的加强开辟者粘性。就如Google的go,apple的swift,微软的C#等等…不外仓颉太刺耳了,而且和某字库重名
    头像被屏蔽

    该用户从未签到

    送鲜花(0) 砸鸡蛋(0)
    发表于 2021-2-23 23:19:18 | 显示全部楼层
    提示: 作者被禁止或删除 内容自动屏蔽

    该用户从未签到

    送鲜花(0) 砸鸡蛋(0)
    发表于 2021-2-23 23:19:50 | 显示全部楼层
    仓颉造字

    该用户从未签到

    升级  63.25%

    送鲜花(0) 砸鸡蛋(0)
    发表于 2021-2-23 23:20:22 | 显示全部楼层
    别穷折腾了
    您需要登录后才可以回帖 登录 | 快速注册

    本版积分规则

    社区精彩导读

    Powered by Discuz! X3.4 © 2006-2021 Comsenz Inc

    本站信息来自网络,版权争议与本站无关。一切关于该资源商业行为与[小城社区]无关。 如有侵犯您版权的,请邮件与我们联系处理(邮箱:10000@546800.com),本站将立即改正。
    快速回复 返回顶部 返回列表