苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

栏目: IT资讯 · 发布时间: 4年前

内容简介:这位编译器大神现在与 Swift 核心团队分道扬镳、彻底退出管理事务的消息引发了大量讨论。

苹果 Swift 语言、LLVM 编译器之父 Chris Lattner 的新动向,引起 程序员 圈关注。这位编译器大神现在与 Swift 核心团队分道扬镳、彻底退出管理事务的消息引发了大量讨论。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

Lattner 在 Swift 官方论坛自曝,离开的原因是团队文化“有毒”。其中特别点出,去年夏天一次视频会议上他被人侮辱和大喊大叫,而且这已经不是第一次了。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

此次冲突后,Lattner 渐渐退出了 Swift 的管理和开发。反正他本人还有很多兴趣和事业可忙,不如向前看,眼不见为净。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

现在他正忙着筹备新公司 Modular.ai,致力于开发 AI 编译器、运行时等基础设施。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

啊这,Swift 团队具体出了什么问题,竟能把大神给气走了?

“语法糖”惹的祸

Lattner 五年前就已不再是苹果正式员工,先后做过特斯拉自动驾驶软件 VP、谷歌 Tensorflow 基础设施主管、SiFive 工程总裁。不过 Swift 这门亲手研发的编程语言他心里一直放不下,坚持每周参加例会、参与社区讨论,也亲自编写和迭代了许多代码。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

Swift 语言逐渐发展壮大,接替老的 Objective-C 成为许多公司开发新 iOS 应用的首选语言。但这门语言发展的方向渐渐与 Lattner 的理想出现分歧,比如他的设计理念“简单事物的有效组合”(simple things that compose)就不再流行。

有这种感觉的不止他一人,一些 Swift 忠实用户也感到很失望。

我在 Swift 上投入了很多,2015-2019 年都是社区的活跃成员,看到现在这门语言的发展方向,我有点难过。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

这位老哥主要不爽的是一些语言特性的添加太过随意和仓促,让编译过程不再透明。实际上,引发 Lattner 自曝退出原因的帖子,也是在讨论是否添加一个语法糖。

一位开发者认为,随意添加语法糖对语言维护者来说不算什么,但带来的混乱会对语言使用者影响很大。

我不是说这个特性毫无价值,但我不想它被引入成语法糖,这会“折断语言使用者的脖子”。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

随后,他引用了 Lattner 本人很早以前就发表的一段关于语法糖的思考。Lattner 认为一门编程语言的主要功能相当于盖房子时的“砖”,语法糖相当于填砖缝的“灰浆”。

如果房子主体都盖好了去填缝没啥问题。如果砖还没摆全就先抹了大量的浆,那整个房子成了用浆盖起来的,结构不会牢固,以后再想摆砖头也找不到合适的地放了。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

看来这种分歧在 Swift 社区由来已久,直到去年夏天那场视频会议,冲突集中爆发。Lattner 会议上被人骂了以后休息了一段时间,后来找到团队管理层谈话。他认为管理层逃避问题、找借口,并明确表示不打算对此采取任何措施。后来大神决定暂时离开每周会议,只参与论坛讨论,反正还有很多别的事业可忙。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

不过他发表的意见越来越被核心团队忽视,觉得再这样下去就是浪费时间了,最终彻底离开。

现在,Swift 管理团队正在尝试推出新的社区治理机制来解决问题。他们打算参考其他编程语言和开源项目的成功经验,重新成立一个专注于语言本身演进迭代的大型工作组,并让更多社区成员能参与决策。对于编程语言社区究竟应该如何治理,也有网友发表了自己的观点。

有人觉得 Python 之父这种“仁慈的终生独裁者”模式 (BDFL, Benevolent Dictator For Life) 才是王道。Python 之父会听取社区意见,但是最终自己拍板决定。这位老哥认为所有不采用 BDFL 模式的编程语言都会因特性太多变得冗杂。因为开发团队每个成员都想把自己的想要的特性添加进去,特性之间的交互带来平方级的复杂度,这样用户就难受了。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

其他网友觉得也有一个例外,Go 语言不是由仁慈的独裁者管理,但团队始终坚持简洁的设计理念。

Go 语言每个新功能提案都会被仔细权衡和讨论,有些用户觉得更新速度慢的像冰川移动,但我个人挺欣赏这点。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

Lattner 本人则在 Swift 官方论坛对此留下了最后一段建议和祝福。

我认为 Swift 是一种现象级的语言,有成功和长久的前景,但它肯定不应该是一种社区共同设计的语言,这在立项之初就写进了章程。

新的机制听起来有些希望…… 一个健康和包容的社区有益于 Swift 的设计和发展。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

现在创业 AI 基础设施

最后再来介绍一下 Lattner 现在去忙的新事业。Modular.ai,致力于为全世界重构 AI 基础设施。包括编译器、运行时环境,为异构计算设计、边缘和数据中心并重,并专注于可用性。最终构建出模块化、可组合和分层架构的人工智能。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

公司的共同创始人及首席产品官 Tim Davis,此前在谷歌团队参与了 TF Lite、 Android ML、NNAPI 等项目的编译器开发。

苹果 Swift 团队把 Swift / LLVM 编译器之父气跑,网友:Python 之父仁慈独裁者模式才是王道

新公司正在全球范围内招聘大量编译器、运行时、ML Ops 和框架方向的开发者,以及产品经理和云计算工程师。


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

Writing Apache Modules with Perl and C

Writing Apache Modules with Perl and C

Lincoln Stein、Doug MacEachern / O'Reilly Media, Inc. / 1999-03 / USD 39.95

Apache is the most popular Web server on the Internet because it is free, reliable, and extensible. The availability of the source code and the modular design of Apache makes it possible to extend Web......一起来看看 《Writing Apache Modules with Perl and C》 这本书的介绍吧!

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

XML、JSON 在线转换
XML、JSON 在线转换

在线XML、JSON转换工具

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具