为什么中国出了这么多厉害的互联网公司，但没有自己设计过编程语言？

早期中国互联网的核心是啥?C2C . copy to china。

那么他们copy 的都是啥？

2000年左右，4大门户网，抄袭的是门户网站。

博客中国的方兴东，因为大学做实习生给IBM翻译了几篇blog相关的内容，然后抛出来弄了么这一个。

百度也是给谷歌打工，后来发觉可以移植到中国来。

后面携程上市，也是抄袭类似的商业模式。

我们再说电商的阿里系，淘宝早期根本不承担快递，不承担库存，只做信息发布和找流量。甚至后来的聚划算，根本不管你的成本和库存，野蛮要求押金20万，现有零售价降一半。

再看一看，后面脱离BAT体系发展的其它互联网公司。

美团，饿了么什么的，连外卖员都不是他的，得自己成立一家公司和他签约；滴滴也差不多，新一中形态的出租车牌照公司；蜂巢、菜鸟驿站等快递柜与代收业务，都非常会转嫁矛盾与责任。

当然，这里也有一个号称自己是互联网的小米，给雷军一个人的奖金都比每年的研发投入高。

那么，这就有了一个很简单的结论，商业模式决定一切……（这话是马云在央视火爆全国的《赢在中国》里的名句，同期还火的另外一个货是牛根生，蒙牛的老板。）

在业务层的结构上都在抄袭了，自然不会去创新什么基础技术了。

其实吧，说句公道话，阿里有钱了之后，在做阿里云业务的时候，也在做去IOE的工作，算是某种意义上的“基础性”工作，当然与编程语言设计这种还是上层了很多。

计算机技术真的是一门复杂庞大的学科，芯片制造到底层语言、BIOS编写（简单理解为初级管理系统也没错）网络链接与组建、标准化使用，涉及到的方方面面特别复杂。目前实力还不允许我们去领导编程语言的设计。（易语言这么多年了，也没见哪个厂家以这个语言为核心打造产品）

我们的希望是在第三代半导体资料的计算机基础科学领域中慢慢的增加话语权。

原因非常简单：因为焦虑。

我们来看看那些“大部分流行的编程语言”都是什么样的人设计出来的：

java语言之父：詹姆斯·高斯林，40岁左右做出了初代java。

go语言之父Rob Pike，约50岁时开发了go。

go语言的另一位爸爸：Ken Thompson，也是Unix操作系统的创始人，去谷歌造go的时候已经60多了。

python语言之父：Guido van Rossum，35岁发布了初代python。今年64了，头顶依然郁郁葱葱。

ruby语言之父：松本行弘，30岁发布了初代ruby。从中学起一直怀有发明编程语言的执念，27岁时开始搞ruby，在各位语言之父中算是相当年轻了。不过松本哥当年的环境比较特殊：当时日本经济萧条，公司没有业务，但按日本传统不能轻易辞退员工，所以Matz每天在公司悠闲地写ruby，心安理得地拿着工资干私活……

所以你看到了吗？能写出流行世界的编程语言的人，要么年纪大了没事闲的，要么被公司包养吃喝不愁。

总之，我们今天用的大部分编程语言，都是这帮吃饱了撑的中年老男人搞出来的。

那么，中国互联网公司的程序员每天在操心什么呢？

35岁的焦虑怎么转管理岗，否则被公司优化掉怎么办；

30岁的焦虑掉头发找不到女朋友；

25岁的，一半焦虑每天韭韭六能不能活到35岁，另一半已经被韭韭六得没有任何想法了。

啥？听说你小子想搞个编程语言？这个月的KPI完成了没有？还有福报吗？还有狼性吗？

等到知乎上搜不到“35岁程序员”这种话题之时，也许题主的问题自然会有答案。

其实，中国那些“厉害的公司”、甚至“厉害的个人”很可能已经做出了自己的编程语言，只是不对外公开、或者流行度很低而已。

（当然，大概率是基于现有各主流语言特性拼凑出的缝合怪，不敢指望有什么颠覆性的突破）

因为题主问的是“流行的编程语言”，而不是“公司内部关起门来用的编程语言”。

一门编程语言要想全世界流行，那它最起码应该是公开且免费的。

只要设计新语言真能解决问题、提高生产力，就一定会有公司去做，不过没有必要公开；或者，可以对一些企业客户开放，但也不太可能免费。

所以，那些公开且免费的编程语言，背后是什么样的公司在推呢？

有自己操作系统的公司。

比如，微软推自家的c#/.net，是为了让更多码农开发出在windows上运行的应用。显然，这样的应用越多，用户买windows、不买mac的理由就越多。

苹果废掉oc、强推swift，自然也是出于同样的思路，只不过立场相反。

那么请问，中国这么多厉害的互联网公司，哪个有自己的操作系统？

连自己的操作系统都没有，还要去设计自己的编程语言，免费给全世界用，你不想用还要花钱打广告说服你用？

这样的公司又是图个啥呢？

我最近出了两本新书，感兴趣的可以看看：

一本既不吹捧科学家的伟大、也不纠结历史细节、只想让你无废话看懂量子、还吭哧吭哧手绘100多张彩色漫画实验图解的硬核科普：

ReScript 官网可以在国内正常访问了(http://rescript-lang.org)

这也侧面说明了话语权的重要性：网站是由社区志愿者搭建的，之前因为某些原因不能访问，但是在我表达了需要VPN很不方便的事实之后，最终我们保障了国内程序员的正常访问。

我们会继续努力健全Rescript 的生态，打造第一个华人主导的世界流行的通用程序语言。

=============

更新一下：写了第一篇针对中文用户的程序语言设计科普文章 ReScript的特性一: 鲜为人知的Row polymorphism - 知乎 (zhihu.com)

==========================================

作为国内可能是唯一的，真正意义上完整实现过编程语言和整套工具链，并且有相当国外商业用户的人，看到这个问题有点五味杂陈，说说自己的感受。

先说说自己的背景
自己是Rescript的主要作者(github地址)，全职从事这门语言的开发已经有7年了，前三年在国外，后四年在国内。使用该语言的大公司有facebook, SAP, 索斯比，ubisoft(育碧）等。我们之前在维也纳和芝加哥等地也开过几百个人的User conferences。
使用这门语言授课的学校有常美国的Ivy League布朗大学，印度的IIT等。

设计一个有人用的程序语言需要的工作

• 语言的卖点

设计一门语言是要来解决一些问题的，如果只是语法上的修饰像木兰甚至coffescript这种，可以作为一个hobby project, 但是很难称其为一门独立的语言。因为切换一门语言的成本是巨大的，需要切换整个生态系统，学习java可能只需要三两天，但是熟悉jvm的生态却可能需要几年的时间。如果使用一门新语言的好处仅仅是语法上好用，这不足以使用户进行迁移。

我当时开始设计这门语言的动机和typescript类似，但是更纯粹一些。设想的卖点主要是reliability, scalability and performance。

Reliability体现在类型系统比typescript更完善，从理论上杜绝了runtime type exception。
Performance主要体现在运行性能上。
Scalability主要体现在编译性能上，我们可以在100ms左右增量编译一个10,000文件的大型项目，这点很符合大公司的胃口，因为大公司的代码库很大，编译性能严重影响程序员的生产力。

• 成熟的编译器

做一个prototype的编译器可能只需要几周时间，但是做一个真正能用的确需要几年的时间。因为编译器基本上是所有运行软件的trust base,基本上是很少有bug 的。试想如果你的语言用户写代码出问题了，老是怀疑是不是编译器出了问题，那生产效率可想而知。

我当时用了6个周末做了一个可以demo的编译器，后来填各种坑大概花了两年时间才比较稳定可用了。

• 好用的构建系统，包管理工具

光有一个编译器是不够的，用户需要组织自己的代码，导入第三方依赖。这涉及到一个易用的构建系统(build system), 包管理(package manager)。试想如果你写的编译器很快， 但构建系统很慢，那么用户的感觉依然是很慢的。

build system和package manager 涉及到很多设计和人交互的问题，一旦引入了些糟糕的设计，因为后向兼容的问题就很难改正了。一旦牵扯到设计，就需要反复迭代，也是一个耗时耗力的过程。

• 标准库，文档

和二十年前不一样，现在的语言基本上都是 batteries included-- 自带一个厚重的标准库。光是标准库的API设计就要花费很多时间了，还有厚重的文档。在语言没有获得足够的popularity之前，这基本上都需要编程语言团队自己去实现，工作量可想而知。

• IDE, debugger

现在的程序员已经被各种现代IDE惯坏了，如果没有好用的智能感知是很难吸引到用户的。做一个好用的IDE是很难的。不像编译器遇到错误可以直接报错退出，IDE需要一定的fault tolerance： 在错误输入的情况下依然要给出有意义的提示。这一块我比较幸运， 主要由社区的人和瑞士的一个同事来主导。

• 社区推广

看到这里，你会知道设计一个真正有人用的语言的工作量比你想象中大太多了。但是最烦心的工作其实是社区推广和人打交道。不像在公司都是熟人关系，社区里各种人都有。 面对asshole不能爆粗口， 因为你写出的东西可能会被其他人巧妙的“摘”出来，然后批判一番。这里面个中心酸， 说多了都是泪。

• 钱

有钱不是万能的， 没有钱却是万万不能的。按上所述，培养一个成熟的语言及其生态系统需要至少 30 man-year 的投入。团队的人水平按平均水平算，平均一人开支50万美金每年（注意是开支不是员工收入)，这个投入大概就是一个小目标。

这么小的投入很可能是不够的，对公司的初期回报 大部分只能是PR方面，国内的公司还面临一个问题：花了钱不一定能找到合适的人。

总结

做自己的语言是个很需要有情怀的事情，困难很多。但是长远意义上是一个国家在基础软件问题上的话语权的问题，还是衷心希望国内有些有情怀的公司能把这个事做起来。

因为贫穷。。。

身体上的穷或许可以通过几顿饭缓解。精神上的穷就需要几代人才能改善。

类似于编程语言这种发明轮子的行为，需要这个社会上出现一大批高学历社会闲散人员。这些人衣食无忧，吊了郎当。随便上上班，还能维持生活。

只有这种人才能吃饱了撑得没事干，有一天晚上突发奇想。干这种自己设计编程语言的工作。

在中国这种严重内卷的社会。他们的生活是这样的。

上完小学上中学，上完中学上大学。
大学毕业忙就业，上班期间生孩子。
生完孩子养孩子，奶粉尿布哺育忙。
学区房，补习班，辅导功课到深夜。
等到孩子上大学，又帮孩子买房子。
等到孩子结了婚，接着帮忙带孙子。
等到孙子长大了，半截身子入土了。
跳上几年广场舞，把腿一蹬挂墙上。
当里个浪！当里个浪！

大部分高学历人员光是活着，就已经耗尽了所有的力量。没有闲工夫做这种事情。

1、设计过

2、与大众直觉完全相悖的是，编程语言特么每天都能被设计出来成千上万个。

3、超过一半的程序设计语言在设计出来之后就被扔在一边了，只有极少数的会有人写解析器。

4、写了解析器的语言里面只有很少一部分会实际拿来用。

5、拿来用的里面只有极少数会拓展成通用目的语言。

6、被拓展成通用目的的语言只有极少数的会被组织内部认同和推广。

7、最终出圈的语言万分之一不到。

8、能够流行起来的再除以一万……

设计程序设计语言压根儿不是什么高大上的事情，你随便找个语言来，把关键词稍微改改就能成一个新的语言，然后把Tokenize改一下就可以编译了（毕竟你只是改了关键词，不涉及到词法分析之后的步骤）。

当然有人会说，你这压根儿没有创造新的语言，你修改后的语言本质上和原来那个语言是同一个。呵呵，而事实上就是，如果http://VB.NET和C#这俩语言都砍掉不超过20%的元素，这俩语言词法分析后就特么是一样的东西……你说这俩是一个语言？

所以说，程序设计语言的本质是什么？

你只需要把键盘上几个键交换一下位置，然后按照原来的键位输入一段程序，这段新的程序就构成了一个新的程序设计语言。譬如说我把p和b交换一下位置，那么public就成了buplic，private就成了brivate。很好理解吧，这样我就完成了一种新的怪异的C#语言。

但是这种变化是没有意义的，没错，但是我们说，用int表示32位的整型和用integer_32表示32位整型有什么区别呢？程序设计语言就是这么个东西，就像qwerty键盘一样，大家已经习惯了，你就很难创造一个新的出来。在原来的基础上修修补补，如果是小修小补的话，大家没有动力去学习新的语法。如果是大开大合的话，大家就难以适应。

一门流行的程序设计语言的诞生需要一个契机，就像键盘布局一样，这个契机过去了，小修小补没人用，大开大合更没人用。

所以，设计一个流行的程序设计语言需要超人的洞察力和对时机极其精准的把握。没有合适的时机，你再牛逼，也没法创造出一个流行的程序设计语言来。

主要是因为开源，没有研发的动力。

哪天欧美不让你用了，可能就有动力了吧。

问题是开源不可能禁的。

所以国内大公司只要记得用开源的，把开源软件风气带起来，使外国不能禁止就足够了。

个人觉得，编程语言再折腾，意义真不是很大了。真需要那么多语言吗？像操作系统一样，把开源的linux玩好用好就够了。

倒是闭源的不可缺少的工具软件，这个需要好好研发。以免被美国卡脖子。

还有编程语言并不难。难的是，让全世界的开发者都用，形成一个好的生态。不说世界通用，做一个让高端开发者看得上的中文编程语言，现在都没有。主要还是不想。

因为中国并不具备有真正实现一个编译器的能力和技术储备，当然并非完全没戏，这个最后说

注意我这里用的是中国，而不仅仅是某一个互联网企业，比如阿里或者腾讯，是全部加起来，也就这样

很开心滴看到，越来越多人意识到，阿里和腾讯，这些企业，其实只是表面上的大，也就是胖，其实并没有多少技术能力，他们是被中国这个庞大的市场给喂胖的，并不是他们多有肌肉

真要跟谷歌等企业在国外面对面硬抗，翔都给你打出来

中国的技术员，比较擅长的，就是从老外开源那边，抄过来，然后改改，然后说，我这是自研的，这种行为不胜枚举

每当我看到这种行径，我的脑海里就浮现出几个成语：欺世盗名，沽名钓誉

还有一个网络用语：无能狂怒

在知乎上，每当我指出他们皇帝的新装的时候，很多技术员会有两种表现

第一，解决不了问题，先否定问题，该问题不存在，没有这个问题。e.g.，脚本，比如python，javascript之流为什么要编译成机器码？还有大道至简，因为大道至简，所以语法再怎么难看，都是合理的，总之各种借口和理由特别多，本质上还是不会，所以不敢面对问题

第二，解决不了问题，解决掉解决问题的工具，解决问题的工具出现了，该工具没人用。e.g. Graal的 native image没人用，因为我没看到有人用，有老外用？那老外不算人

实在是否定不了了，妈的，都怪那个圆胖肿天天说这些新技术

其实在我看来，阿里和腾讯，非常符合当年考上杭师大和深大水平大学生的表现，而985，比如这儿大，裤子大，甚至两校等毕业的，去给这两个家伙打工，应该感到羞愧，对不起985的培养才对，知乎上一堆人居然还引以为荣，当然你混口饭吃，无可厚非，是吧，谁说大学生不能去卖猪肉？靠自己的双手赚钱，无可厚非，但这难道是什么值得骄傲的事吗？

反过来也说明，国内985的知识水平，其实也就那样，国家被卡了脖子，造不出cpu，gpu，你去造啊，写不出操作系统，编译器，你去写啊，不行，就算你毕业于985，你也写不出来，造不出来，所以你也就只能沦落到去给姓马的打工了，好一点的，能够出国，给洋人打工，也就这样了，跟你的师兄，什么钱学森相提并论，你觉得你配吗？985每逢周年大庆，您觉得您有脸回母校吗？

不，如果我这辈子最大成就就是给人打了份工，那我会觉得对不起母校的培养，会觉得985不应以我为荣，虽然以我为耻应该谈不上，因为985培养了我，不是培养我去给资本家打工的，而是长远了说，为探索宇宙真相，短了说，为解决国家卡脖子技术问题，为了这两个目的培养的，而我毕业了之后，没能为国家为人类贡献自己的一份力量，我会觉得很羞愧，愧对母校的培养，因为母校培养我，不是为了培养我去给资本家打工的，当然，劳动赚取报酬，无可厚非，但终究这不是母校，国家，对我的期待，更不是我的理想，说四有青年，其中一个就是有理想，我的理想是给资本家打工？你的理想是这个？林贝，谁小时候的理想是玩意？

最后我们来说一下编译器的最新成果并呼应一下最开始说的，该如何做一个自己的语言，其实软件发展到今天，本质上就是从开源那边先抄过来，然后再慢慢改

我看到高赞做了一个脚本，哈哈哈，那玩意根本就不需要你自己那么麻烦去写好吧，直接复用一下各种编译器的后端就可以了，写一个脚本很容易，比如graal的simple language就给出了一个完整的脚本的实现过程，复用了truffle framework以及hotspot的后端，完整的tutorial和demo project在这里：

所以时至今日，中国的技术员做不做，无所谓了，反正开源已经做得这么简单了，你会抄就行了，就像最早做安卓时候，安卓其实就是linux和java的改版，因为当时google正好有hotspot的作者lars bak在，所以谷歌觉得，有需要，就给改了，于是就有了安卓，后来的flutter，其实本质上也是lars bak所在的那个组的改版，真想做的话，照着这些去改就是了，当然前提是你要先看懂别人在做什么，以及编译器现在都发展到什么程度了，如果现在你还在想着，从无到有，自己用c或者c++去实现一个完整编译器的话，那哈哈哈哈，你算了吧

国家现在应该也已经看懂了这一点，所以资源开始往高校集中，高校这几年，虽然青椒被非升即走搞得很痛苦，但确实有一大批青椒留下来了，希望就在这些青椒上，这些人在国外接受过教育，尤其是phd是境外高校拿的，不是国内这种水出来的，所以他们能看懂这些，那以后的希望就在他们身上，而不是在那些骗补贴的企业上，中国终究还是一个社会主义国家，很多东西，靠企业是没戏的，最终还是要靠体制来搞这些东西，就像中国的铁路，电力这些都是国营的事业单位，还有公立的医院，都搞得不错，全民受益，火车票，电费什么都20多年没涨了，还没赶上通货膨胀呢，但是如果资本介入，比如房地产，私立医院（莆田系），那发展到后面就很难看了，就像火车票哪里最贵啊？最市场化的广州铁道局的火车票就是最贵的，就这个道理，编译器，操作系统，cpu，gpu这些，最终还是要靠国家扶持高校来搞

而且不仅仅是国内是这样，国外也是啊，llvm是苹果让uiuc搞出来的东西，graal是sun/oracle让全球八所高校历经多年（20年）前后接力，才搞出来的东西，所以国外其实也不是完全依赖企业的力量，而是企业跟高校合作后的产物，研发的主体在高校上

中国互联网公司的垄断手法还局限于当赛博地主

而历史上创建编程语言的公司，垄断手法则是开放性垄断，通过开放来让更多人使用，从而间接形成垄断

不把赛博地主的问题改掉，中国的互联网公司的前景也就止步于这样了

作为户口一直落在劝业场街道的天津人，我在美国设计过三款语言。

第一款是一个指挥FPGA上高度并行任务的script，为的是在一个资源很少的嵌入式SoC上最大效率地加速并行，同时最大限度地减少用户的心智负担，用最简单干净的语法去解决最复杂的并行模型问题和时序前端问题。这个语言暴露给用户的全部语法非常简洁，目标是让一个零基础的人在经过差不多40小时的训练后可以轻松写出并行性能极佳、在工业上可靠的script。在设计上，为了降低使用门槛，语法的前端尽可能地保持精简，难点在于解决这些场景里繁复的I/O，task scheduling，片上内存管理，各种你意想不到的安全需求，以及作为engineering management上的各种dependency等实打实用小鞭子打在屁股上痛点的管理问题——你可以理解是跑在某特定FPGA上特定任务特定场景下的go+cuda。

第一款语言是CEO亲手主导完成的，我贡献了大量的包括前端、后端优化和整个框架中非常细枝末节的工作。效果就是，一个经过40小时训练的工程师，借助这个语言（应该说是闭源的整个框架）能轻松写出别人家资深N年老码农调教的并行计算和高密度I/O任务，而且需要时间更短、benchmark更快——这个语言戳中了一个全世界大家想不到的痛点，就是“如何把嵌入式整个系统上需要极限性能的某些特定的并行任务模型，抽象成非常简洁干净的语法，把准入门槛降到最低”（你可以理解为某个热心网友给google的jax又写了一层前端）——这是这款语言带来的实实在在的生产力和商业价值。

第二款语言是我自己完成的。同样这也是一个闭源的商业工具script，简单来说就是当你有大量VHDL屎山的时候，你有大量参数/register需要设置，同时你还有大量的SoC上的参数需要测试，同时和SoC通信的host还有大量的参数和任务等待部署——这些参数不止需要开发者去手动组合，还需要用户、用户的用户、用户的用户的用户去手动组合。于是这个语言的想法呼之欲出：一个yaml template加上一些语法糖，让用户可以轻松用GUI勾勾选选或者语法设计出各种你想要的组合去完成各种你需要完成的unit test——这样大到整个所有硬件电路和时序的CI，小到各个部门之间的QA，乃至certificate in the field——你可以理解为这是一个“可以自动编程的自动硬件质检仪”——当然不是很多人想象中的simulation中的test script，而是实打实的小到一套片上系统，大到一整套摆满一个屋子价值百万的几十套片上系统各个元器件不同场景下的并行测试的框架。

第三个跟上面两个完全不同，是一个开源免费的语言，对是的就是那个github trending上冒了好几天的每天被我复读的那个hedgehog lab的核心语法hedgehog script。这是这三个语言里唯一一个目前没有商业价值、没赚到过一分钱的语言，也是目前唯一一个半成品，而且是我对前端所有领域知识一无所知时一边自己零基础入门一边试图设计出来的，虽然目前进度比较缓慢（因为在忙别的），但是整个2020年我都在倾听来自于MIT、OSU、UT Austin、UT Dallas、Rice、UH等各个混迹于学术界的教授科学家和还没毕业的小朋友们试用后的反馈和倾听。

Hedgehog Lab的思想非常简单：

你本科没学过CS？没问题，你可以花5分钟学习JavaScript的大部分语法就好了；

你只是用来跑经济学和药物数据的regression、解决各种linear algebra的问题？没问题，我给你内置；

你想用来写markdown和TeX用来写公式画表格？没问题，都给你安排上；

你连Python都不会安装、system path都配置不好？没问题，让你打开网页就是完全体，左边写，右边输出，没有服务器，全在网页里；

你连pip/conda/npm都不会用？没问题，不让你碰command line工具，直接开头*import my_package/my_lib就能直接用，0安装0配置；

你想天然支持矩阵、向量、张量的各种运算？没问题，给你operator overload，用最低成本的babel plugin支持各种语法，让大家写起来开心快乐，语法甜美如matlab，心旷神怡；

你想要跨平台？好办，全套内置在web里，Windows/macOS/Linux/iOS/android都是一套代码；

你想做微积分，想解线性方程，甚至得寸进尺想解微分方程？没问题，我给nerdamer加个语法前端，让你舒舒服服地用；

你想要GPU加速？没问题，chrome给我WebGL2的眼睛，我就用它来实现高通、nvidia、苹果、AMD、Intel、三星、龙芯、麒麟等全世界能跑opengl的所有架构处理器GPU上一揽子一键支持GPU加速矩阵运算；

你想要美美的像纽约时报、经济学人上的精美图表？没问题，plotlyjs、d3、echarts等专业作图工具都给你安排上，封装得简单好用，d3用300行实现的功能，我给你封装成一行的API，你闭着眼睛复制粘贴过来，一调用就跟obervable和纽约时报那些网站老美工们做出来的一模一样。

Hedgehog Lab的核心思想很简单：解决一些语言设计者们从来没思考过的问题，就像darklang的设计一样，把需要暴露给用户的feature暴露出来，去思考“懒得学、懒得看、懒得配置、懒得安装”的那些人真正需要什么需求，我去把他实现出来——只要你：

1. 打开网页；
2. 用30行代码描述你想解决的问题。

剩下的功能交给babeljs作为compiler（外加上各种语法的plugin）和runtime来帮你自动在浏览器里配置、依赖、安装、运行、输出、完成。

（当然如果你现在想用的话，无论手机电脑iPad龙芯汉芯红芯，直接点击 https://hedgehog-lab.github.io/ ）

--

说了这么多，为什么中国人能真正设计一门流行的、经久不衰的、具有生产力价值语言的人不多？

一、编程语言是一个领域问题的抽象能力和描述能力。这就像开一家公司，能不能活下去取决于赚不赚钱。当你有了Java的时候，你不可能抄一遍Java抄成Java2来代替Java——你必须观察到了细致的生产力问题、设计问题、效率问题，你才能做到“设计出Kotlin来抢Java的部分饭碗”、“设计TypeScript来解决JavaScript的痛点”、“造Rust来解决C++的心智负担”、“造Matlab来解决Fortran的编译运行和所有弊端”这种成功的东西出来——设计一个语言和完整工具链不是难事，中国每年有上百个本科生有这种能力——最难的是“发现场景、抽象力、生产力革命”的那双眼睛；

二、大部分“programming language”的爱好者都是学术界出身——他们心中“最完美的编程语言”，是“我要这个，我要那个，我不要这个……”——他们心中有一个非常私人化的清单，把这个清单的项目全都实现了，就是“完美语言”。

然而真相是，世界上没有“完美的银弹语言”，你喜欢的东西别人可能非常厌恶——而这些人的爱好是“给自己造做工精巧的烧脑小玩具”、“给小圈子里开发酷炫好用的工具链”——但是他们从来没有从商业和设计的高度去认真思考“什么样的语言、生产力、工具链，对于他们的场景下是简单好用、足够抽象、牢固可靠的”——反而很多人对于那些群体嗤之以鼻。

编程语言的鄙视链在中文网络流行PL土味圈中深入人心，他们很少去认真思考他们眼中土掉渣落后原始的Matlab、Mathematica、R、Stata、Labview、Apex这些怪物框架、古老语言为什么在他们诞生的年代具有强大的生命力，而且至今几十年依然有非常强大的商业驱动力——PL爱好者们在小圈子折腾的东西很少能出圈，等他们自己十年后当了manager之后几乎没有机会推广这些东西给其他人。

三、中国很少有真正以“技术创新”为商业价值的公司。中国绝大多数的互联网公司的“核心商业模式”依然是“做互联网、做平台、做产品、用海量低价人口红利去雇佣运营和产品经理来运作指导”的思维，极少有公司是“以技术作为商业壁垒”、“用技术和生产力革命去驱动商业模式”——哪怕有一些超级大厂有一些非常流行的开源项目，但是改变不了这些公司主要利润和估值几乎完全来自于“做互联网、做产品、做金融、做App”的内核。这一点不用展开讲了。

最先进、最边缘迸发出来的语言，一定诞生在某个领域刚刚起步、目的是解决最有价值的工程问题、技术问题、商业问题、管理问题、生产力问题等痛点的设计——只有你看到这个即将起飞的风口，你才有机会设计出近十年来刚刚流行的诸如Rust、Go、Apex、Kotlin、Swift、Dart、Julia的这些技术生态社区和商业上全面成功的语言——而不应该也不可能是“别人有一个苹果，我也造一个苹果打败他”——这个问题跟国籍毫无关系，任何工业界或者学术界的从业者，都有机会在自己领域发现最前沿的问题并试图解决出来——这种机会是人人平等的，只不过在国内互联网公司目前的环境下，这种环境可能目前并不存在。

朋友，这里有一个巨大的误会，以为是『互联网公司』创造『编程语言』，不是！不是！不是！

创造『编程语言』从来就不是『互联网公司』的正事，创造『编程语言』的是软件公司和软件科研机构，OK？你的，明白不明白？

比如说，微软首先是一家软件公司，然后才把自己部分转变为互联网公司，微软为了发展软件，发明了C#、F#、TypeScript这些编程语言。

但是，对于一个纯粹的互联网公司，他们做的是『服务』，为了提高生产里，他们可能有动力制造一个框架，制造一种工具，但是真的没有什么动力去创造编程语言，或者说，就算他们不创造编程语言，又怎样呢？用软件公司或者软件科研机构创造的编程语言就好了嘛。

所以，这个问题是：为什么中国出了这么多厉害的软件公司，但没有自己设计过编程语言？

答案是：中国这些『厉害的』其实只是互联网公司，不是真正的软件公司啊。

中国互联网是一个重运营拼执行的市场。你能设计一门新的编程语言提高运营效率吗？不太可能吧，运营都不懂编程呢……那你能设计一门新的编程语言提高执行力吗？这个还值得思考一下。

如果我们专注于程序员在产品迭代上的执行力，我觉得设计新的编程语言是有潜力的。主要的障碍是中国人力成本太低。当你提议老板给你时间设计一门新的语言时，老板问你效益和周期。效益当然是提高产品迭代执行力，但周期要按年来算。老板如果没有远大志向，直接把你否决了，多招一些人也能解决执行力问题。

就算老板有远大志向，让你带一两个人开始设计这门新的语言，但招人不能停啊，不可能等你做出来了再提高执行力吧。等你做出来了，公司程序员数量翻了几倍，你在公司内推广的成本比你预想中的高得多。人都是抗拒改变的，你要别人学你的新语言，甚至用你的新语言重写部分代码，这到底是提升执行力还是拖累执行力啊？你真的能证明你的新语言最终能提升执行力吗？

中国大部分优秀的技术人员都不是及格的销售，你发明了新的语言但在公司内部都推销不出去，大概率故事到此结束。

美国作为一个资本主义社会，大家从小就被潜移默化，意识到这个社会并不是真正唯才是举的，只有真的卖得动才能变现。相对来说，大家更会卖一些。

我觉得可以不用纠结这个，反而要不管白毛黑猫抓住老鼠的就是好猫。

比如我们上初中学物理，突然来个牛顿定律，如果我们纠结为什么牛顿不是中国人，不是我们老祖宗的东西就不学，那对个人成长将会是毁灭性的打击，因为后面学数学，学化学还有很多东西国外的科学家奠定的基础。

中国互联网公司的发展的好，正说明了我们对这些应用做的更好，我们的创造性也不差，别人基础打的好，一个是因为他们是先发国家，走了前面，二是因为我们自身历史在煎熬。这些都是过去式，不用再纠结。

如果未来我们人工智能发展领先，大数据发展领先，航空航天发展领先，5d和6g发展也领先，那未来我们也会给后人奠定很多基础性的东西，跟牛顿定律一样牢固，出现在全球各个国家的中学和大学的课本上。