华为被曝自研编程语言“仓颉”，南大教授冯新宇领衔(4)

△图源南京大学官网
冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究，是我国高校编程语言方向的专家。
2010-2017年期间，冯新宇教授曾经在中科大就任教授，并于18年以后来到南京大学，目前在南京大学就任教授，并于2019年带领团队获得PLDI杰出论文奖。
知乎@匿名用户 表示，冯新宇教授可能是在大陆高校就职发POPL和PL顶会最多的人（之一）。
此外，冯新宇的导师、中科大少年班的校友邵中教授，硕博毕业于普林斯顿大学，对编程语言及编译系统了解非常深入。

△图源中国科学技术大学官网
邵中教授曾为SML语言研发编译器SML/NJ，对“带证明可信软件”领域有深入研究，在POPL上发表过5篇论文，也是国内首个在POPL上发论文的学者。
谷歌、苹果已有自研编程语言
事实上，谷歌与苹果都已经推出了自己的编程语言。
谷歌于2009年就推出了Go语言，这门语言设计的目的，是为了在运行速度快的同时，编译速度也不错，同时也更容易上手编写。

这也使得Go语言的语法限制较多，但它的确找到了“运行速度”、“编译速度”和“上手容易”三者的平衡点，成为目前较受欢迎的编程语言之一。
而苹果也于2014年在WWDC上推出了自己的Swift语言，并凭借着类似于Python的易用性、和较强的运行效率，一度在当年跻身成为最受欢迎TOP 15的编程语言之一。
对于尚未面世的「仓颉」