许式伟：Go+ 演进之路
7 月 10 日，一年一度的 ECUG Con 2022 在线上圆满举行。许式伟作为七牛云 CEO、ECUG 社区发起人、Go+ 语言发明人，为大家来带了《Go+ 演进之路》的主题演讲。以下内容根据演讲实录整理。
大家好，欢迎来到 ECUG Con 2022。ECUG 大会从 2007 年开始，到今天已经第 15 个年头了，我基本每年都会为大家带来演讲。继上届大会之后，今年我想和大家继续分享 Go+ 的相关内容，聊聊 Go+ 的演进之路。我们会谈谈 Go+ 过去都发生了什么？我们现在正在做什么？以及我们未来会怎样继续去进行迭代？
一、Go+ 历史的关键节点
纵观 Go+ 的发展历程，我们大概会分四个关键的节点。
首先是 v0.5 版本及以前的「史前版本」。因为它当时叫做 qlang，其实和 Go+ 没有关系，所以叫「史前版本」。我们现在把 qlang 的代码，从 Go+ 移到我个人的 GitHub 下面了。之后是 v0.6 到 v0.7 的原型版本，主要是为了让大家看到 Go+ 到底长什么样，因为它和之前的 qlang 有非常大的不同，qlang 是一个脚本语言，Go+ 实际上是一个静态类型的语言。此后，我们从这个原型版本出发，让它能够更加接近工程的使用。比较重要的里程碑就是去年 v1.0 版本的发布，Go+ 的目标和代码风格被正式确定下来。此后，我们基本上是延续这个目标和它的代码风格继续前进。今年上半年我们发布了 Go+ 的 1.1 版本，它实际上是 Go+ 的第一个工程化版本，它可以正式用于生产环境。
从 Go+ 1.0 开始，我们首先提出了「三位一体」的概念，即面向工程，STEM 教育和数据科学。
实际上我们谈的是全民编程，也就是人人都可以学编程。在今天我们可以看到，编程教育在未来，一定有越来越多的人会把它看作基础学科，和数学、语文、英语没有什么本质区别。这也是为什么 Go+ 会把 STEM 教育作为非常重要的支撑点。
那么 Go+ 1.0 都做到了什么呢？首先是确定了 Go+ 的代码风格，它是以命令行风格为基础，极尽可能去实现低门槛化。我们希望 7 到 8 岁的小朋友，就有能力学 Go+。
另外一个很重要的点，是我们实现了类文件 Beta 版。它实际上试图实现面向对象、领域知识表达的低门槛化，也就是现在比较火的低代码领域。实际上面向对象虽然是好的东西，有助于对世界的抽象，但是它也带来了理解上的难度。因此如何去让这些高阶的工程概念低门槛化，Go+ 类文件是在这方面最重要的探索。
另外 Go+ 1.0 在兼容 Go 语法方面取得了突破性的进展，这也是它最后被标为 1.0 的原因。我们在这个版本上，把大部分 Go 语法都实现了比较好的兼容性，基本上做到了在 Go 基础上去做扩展这样一个最底线的目标。
谈到 Go+ 的目标，大家可能会有非常多的疑问，实际上从刚才的目标也可以看出，我们非常关注低门槛化。那谈到低门槛化，就不得不提 Python 这个语言。Python 的成功，到底告诉人们什么事情呢？
首先第一个重要的点在于，它告诉我们性能并不是最重要的。虽然大家都比较看重性能，但单从性能来看的话，Python 在脚本语言里面我认为只能算二流，它其实并不快。因为性能其实是可以靠时间去解决的。语言的生命周期都非常长，Python 到今年已经有 32 年的历史了，它的性能问题是有机会可以靠时间来不断迭代解决的。但语言的特性并不能，每一步语言特性的选择都是未来的包袱。所以从这个视角来看，也希望大家对待语言，尽量避免唯性能论吧。
第二个点在于，它揭示了对语言来说最重要的是什么？或者说 Python 为什么能成功？其实我觉得，目标人群的选择是非常根因的东西。语言的特性跟目标人群的选择有关，所以语言特性的选择最重要。Python 从诞生之初，并没有给自己数据科学语言的定位，它认为应该让语言尽量精简，容易被理解、被学习。它其实是一个少有的低门槛语言，因为在我看来，真正可以称为低门槛的语言并不多。
我们想一下大家熟知的语言，比如说 Ruby，大家都说它很简洁，但是其实它有非常多的语言魔法。所以它可能很强大，但是不能称之为易学习。所以在我心目中，能称得上是低门槛的语言 BASIC 算一个，面向教学领域的 Scratch 算一个，也就是说其实在低门槛领域进行探索的语言并没有那么多，但正因为 Python 面向了低门槛，所以它虽然没有将自己定位成数据科学语言，却成了数据科学的王者。这其实蛮讽刺的，因为有非常多专注于数据科学的语言都没有 Python 这么成功，我认为这背后有非常深刻的道理。
从全民编程这个大的趋势来说，其实低门槛化是未来语言主流的发展趋势，Python 恰恰顺应了这个大潮流，使得它今天能够比最初我们看到的还要成功。
那么 Python 到底还差什么？
首先从工程的视角来说，Python 这方面比较弱。谈 Python 有些人会想到 Go，因为从 Python 转向 Go 的程序员也不少，原因就在于 Go 是设计思想最接近 Python 的工程语言，使用者的心智负担也是非常低的。但是 Go 语言的设计者心中基本只有工程，大家看 Go 的官网就知道，它最关心的一个词是 scale。也就是如何实现一个大型的工程，实现一个代码量非常庞大，但是仍然在工程师掌控之中的工程。所以它没有在意低门槛，它在意的是如何去实现工程上的 scale。
所以从这两方面去看， Go+ 既然是面向全民的编程，那么我们自然会去关注如何把 Go 和 Python 的优势融在一体，把 Go 的工程能力和 Python 的低门槛化结合。
我们知道工程很庞大，去实现更庞大、更复杂的系统也是我们所关注的，但是 STEM 教育也好，数据科学也好，更关注的还是如何实现低门槛化。所以工程、STEM 教育、数据科学三位一体，实际是工程和低门槛的融合，这就是 Go+ 的目标。
它们融合之后的样貌，我们可以通过下面 Go+ 的代码范例来了解。
下面的这个示例大家可能会想到 Shell 编程，很多程序员可能会觉得 Shell 脚本是比较低门槛的。它虽然在实现复杂任务上比较难用，但是它从理解上是大家最熟悉的，我们会看到 Go+ 的语法与 Shell 的非常接近。
我们再看另外一个例子，就是用 Go+ 去做游戏。下图实际上是两个角色的对话，一个非常简单的游戏，它的代码也是非常简洁的。这里我们会看到命令行的影子，比如 onStart 这样的语句，是说在程序开始的时候，我们应该做什么。onMsg 是我收到一个消息以后要做什么。基本上有 onStart 和 onMsg 这样的事件机制，以及我们看到里面的代码有 say、有 broadcast（广播消息)。整个程序的流程，其实是通过事件加上 say 还有广播消息，这样几个很基础的元素组成。
我们可以看到这是两个角色的对话。第一个角色在程序开始的时候，说你来自哪里，然后紧接着广播消息 1。另一个角色收到了消息 1 后，他就会说我来自英国。然后他再广播消息 2。角色一收到消息 2 以后，他就会说你们国家的天气怎么样。这样，整个时序就由消息驱动，两个角色之间的对话就形成了。这个程序非常简洁，通过它我们可以看到 Go+ 在表达自然的语义上，有天然优势，它的代码是非常通俗易懂的。
从这两个例子中我们也可以看到，Go+ 虽然实际上是 Go 兼容的产物，但它的语法或者说建议的最佳实践风格，和 Go 是有非常大差异的。它甚至比 Python 还要简洁，因为它选择了命令行的风格。
这里我们可以从工程的几个概念来理解。一是命令，它是一段代码的抽象化，最早期的语言如 FORTRAN，它的命令其实是和函数分开的。当然后来所有的高级语言，基本上都把命令和函数合为一体。但在 Go+ 里，命令和函数从代码风格上来说是有差别的，但是它们背后都是函数。
所以在 Go+ 的代码风格上，我们选择了以命令风格为主体。因为命令的理解难度是最低的，小学生就能理解。其次是函数，这个概念初中生基本也就开始接触，比如三角函数。那结合计算机和数学中的函数，将两者互相印证，对初中生而言理解起来难度也不算高。基本上只要理解形参和实参的概念就可以了。
在面向对象中，类、方法这些概念，虽然它确实有助于抽象世界，但实际上面向对象编程的理解门槛是最高的。所以 Go+ 其实在极力避免让程序员用面向对象的写法。实际上在背后我们会使用面向对象的一些思想，但在语言语法上，我们尽量避免太过于面向对象化。所以 Go+ 1.0 中我们看到了它基本奠定了 Go+ 的代码风格和目标。
既然目标和风格都定了，基本上我们希望的第一件事情，就是能够实现工程，成为第一个可以用于实际生产环境的版本。为了实现这个目标，从优先级来说最重要的有两件事情。一个是对模块 Module 的支持，大家都知道 Go 对 Module 支持是很晚的，而 Go+ 在 1.1 版本基本上就兼容了 Go 的模块概念。我们实现了对模块比较完备的支持，和 Go 用起来的体验是非常一致的。另外一个很重要的特性是，我们实现了 Go 和 Go+ 的混合工程。这对用于生产环境是有非常大的帮助的。因为大部分程序员面临的第一个问题，就是 Go+ 用来做什么？历史的工程可能是 Go 写的，那如何把它转化成 Go+ 呢？其实不用转，因为你的 Go 工程，就是 Go+ 的工程，你只需要在上面写一些 Go+ 的函数就行了。这样一来，我们就可以非常轻松地去把 Go+ 用于生产环境。
接下来是提供 c2go 的预览，这是为后续版本服务的，它是一个非常难啃的骨头。我们也在 Go+ 1.1 版本基本把它实现了。Go+ 支持 C，实际上是引用了 c2go 这个项目。我们在这个版本实现了 c2go 最基础的能力。
我们看 Go+ 的版本演进，如果说 Go+ 1.0 版本是明目标、定风格，那么 1.1 版本是为了进生产环境。模块也好，Go/Go+ 混合编程也好，其实都是在为进入生产环境打基础。
Go/Go+ 的混合编程，正如我刚才提到的，任何一个 Go 工程，只要在其中添加几个 Go+ 的源代码，然后去把 go 的命令换成 gop，就可以正常地去做 Go+ 开发了。这实际上把 Go+ 的使用门槛降到了最低。
二、Go+ 当前节点：v1.2.x
以上是 Go+ 的过去，下面我想和大家分享当前 Go+ 正在做的事情，也就是 Go+ v1.2 版本。这个版本我是把它定义为 Go+ 特色化形成的过程。我们预计在今年十二月份将 Go+ v1.2 版本正式发布。
我们说这个版本是特色化形成的过程，主要有这样几个原因。首先是我们在 1.0 版本中引入的类文件会转正，结束 Beta 过程。类文件是 Go+ 里非常重要的概念。第二个是 c2go，它对 Go+ 后续发展起着至关重要的作用。我们希望 Go+ 的 v1.2 版本能够让 c2go 进入工程化，它的实现标志是至少完成了 sqlite3 的迁移。
除了这两个很特色的功能外，Go/Go+ 混合编程也将得到增强。目前，Go/Go+ 的混合编程还不支持调用 Go 的泛型。我们知道 Go 的 v1.18 版本，引入了非常重要的特性就是泛型，但现在 Go+ 还不支持 Go 的泛型。那我们在 v1.2 版本也会去支持。我们不是在 Go+ 里去定义泛型，而是调用 Go 的泛型。
基于这样方式，我们是让 Go+ 能够对泛型概念有最小化的能力，因为泛型是一个比较复杂的概念，但我们并不希望 Go+ 变得特别复杂。从长远来看，Go+ 对泛型实际上持非常开放的态度，也许有一天会全面支持泛型，但我们不会把它看成优先级很高的东西。如果真需要用泛型，我们希望是通过和 Go 的混合工程来达到。
我们接下来重点讲讲这两个特色功能，类文件和 c2go。
先聊类文件。类文件最直白的一个解释，就是我们用一个文件去定义一个类。下图右侧就是用 Go 去写类的方法，想必大家非常熟悉。
我们先定义一个叫 Rect 的结构体，它有长度和宽度两个成员，那我们再定义面积的成员方法，那就是长度和高度的乘积，这就是一个非常简单的程序。
用类文件来实现这个能力的话，代码可以见上图左侧。我们基本上看不到任何面向对象的隐藏。我们定义了两个全局变量，一个叫宽度，一个叫高度，然后定义一个全局的方法叫面积，它是这两个全局变量的乘积。那这个代码比正常的面向对象代码看起来要简洁很多，非常容易被理解。但实际上它这两个文件是等价的。因为类文件最直接的能力，就是负责把一个看起来像是面向过程的代码，自动变成一个面向对象的方法。因为它没有引入任何新的语法，所以其实对中小学生也相对容易，不用去学新的知识。
但类文件做的并不只这些。实际上它还能够自定义基类，能够自定义整个程序执行的框架。我们最近 Go+ 的公众号也重点在谈类文件，大家可以去看一看。
提到类文件，就需要提到 Go+ 的一个设计哲学：Go+ 不支持领域专用语言，也就不是不支持 DSL，但 Go+ 却对专业领域友好（Specific Domain Friendly）。
为什么说它是专业领域友好呢？从上文我们的举例中来看，第一个例子是 Shell 编程，或者叫 DevOps 的领域编程。我们可以看到 Go+ 的代码看起来非常接近于 Shell 编程。
实际上 Shell 编程更像是 DevOps 的 DSL，我们很少在 Shell 之外去用这个语言，它只用于非常基础的一些自动化（automation）。但是我们可以看到，Go+ 实际上是可以让语言本身的代码非常接近于 DSL，但实际上它却不是 DSL，它是非常正宗的 Go+ 语法。
同样的道理，我们可以看到在更复杂的游戏编程中，Go+ 也是非常的简洁的。而且它不仅简洁，更重要的是它同时也非常强大，它能够去做类似于《植物大战僵尸》这样比较复杂的游戏。当然我们没有去做 3D 游戏的引擎，如果要做，那么它依然是非常精简的 3D 游戏的引擎。
正是因为 Go+ 引入了类文件，让它的语法看起来非常领域化。这意味着 Go+ 非常善于结合领域的特征去提炼领域知识。从而使得 Go+ 利于领域的开发。
当然我们类文件现在还在 Beta 的阶段，当前已经在 2D 的游戏、DevOps 这些领域做了一些实践。但是毕竟领域是非常多的，对类文件这个概念来说，最大的挑战是领域非常多，在有限的几个领域里试验是不够的，需要有更多的领域来验证类文件机制的普适性，判断它能否适应各个领域。
另外，我们还需要清除 Beta 版本类文件里面的一些不必要的约束。比如说，我们当前一个专业的领域只允许有一种工作类，在一些专业领域里显然很有可能会需要打破这个约束。所以我们接下来在 v1.2 版本，会去消除掉类似这样的不必要约束。我们希望能够让一个专业领域有多种工作类，如此一来它的普适性就会更强。
v1.2 版本的第二个特色功能，就是刚才提到 c2go。c2go 的语法可能看起来有点像 cgo，但是它和 cgo 完全不可同日而语，cgo 用起来大家吐槽非常多，但是用 c2go 会觉得非常爽，因为我们基本做到了无缝对接 C 语言。
首先，C 语言的代码是不需要经过额外包装的，直接就可以由 Go+ 来调用。其次，我们让 C 和 Go+ 的类型系统尽可能一致，极大化地降低了 C 和 Go+ 的对接成本。这样的话两者相互操作，类型上基本不用做转化。比如说在 C 语言里面的 void，就是无返回值、无参数的一个函数，到了 Go+ 里，基本上是一个 func()。那这样一个类型的映射，其实在 cgo 里面是做不到的。因为 cgo 需要做必要的函数调用约定转化，才能实现这样的调用。最后，我们把 C 翻译之后，它的数据结构内存布局和程序语义尽可能保持不变。也就是说 C 程序员，对 C 的代码的常规语义理解仍然是正确的。比如说字符串，它是以 '\x00'，就是以 0 为结尾的，这些概念到了 Go+ 这边翻译以后，其实它仍然是正确的。这样也会有助大家不至于在语义上出现分歧。
从下图的例子中我们可以看出，通过 c2go 的方式，我们实现了 C 的简洁调用。
我们可以看到第一句是 import C，但是它和 Go 的语义是完全不同的，在 Go+ 里它其实是 C/github.com/goplus/libc 的缩写。那我们可以看出，这个例子中我们调用了 2 个 C 函数：printf 和 fprintf，使用了一个 C 变量 stderr。另外还有一个比较有意思的地方，是字符串，我们看到在 Go+ 的标准字符串前面写一个 C 前缀，就代表 Go+ 里传入 C 的字符串常量，这实际上是一个 Go+ 的语法。但是有了这个语法以后，会使得在 Go+ 里调用 C 的代码会非常精简，不至于像 cgo 一样，会有一个从 Go 字符串转化成 C 的字符串，并且最后还要释放它这样一个过程。
这是一个非常小的例子，但是我们可以看到 c2go 在表达上，是能够让大家感觉到好像 C 和 Go 的包是没有区别的。我们引入 C 的包和引入 Go 的包，基本使用上大差不差。而且在所有的细节上，都会让大家感觉 C 的模块好像就是 Go 的模块，当然同时也是 Go+ 的模块，这是我们希望能够达到的最终效果。这也是我们在 Go+ 里无缝兼容 C 的一个逻辑。
当然当前 c2go 还是一个预览版，它连 Beta 版都算不上。c2go 当前已经完成了 C 语法 99% 以上的兼容，它没有完成的部分，主要在于标准 C 库的迁移，它的完成度可能只有 5%，处在非常早期的阶段。对 c2go 来说，它最主要挑战首先在于跨平台。一方面是 C 标准库（libc）的跨平台，另一方面如何让 c2go 对所有的 C 工程都可以轻松实现跨平台能力，同样是非常重要的能力建设工作。
单从 libc 本身来说，其实无论是 syscall、pthread，都有比较大的工作量。syscall 现在我们已经支持了 mac 版本，但 Linux 和 Windows 还没有支持，那 pthread 就更不用说了，这是我们接下来工作量最大的一个板块。所以 c2go 接下来最重要的是整个标准 C 库的迁移，它本身就是比较庞大的工作。
以上就是当前 Go+ v1.2 版本想要解决的事情，当然还有支持 Go 模板调用的小细节，我们就不展开了。基本以上几个点构成了 Go+ 的特色能力，无论是类文件，还是对 C 的兼容，以及 Go 和 Go+ 的混合工程，都使得 Go+ 有了非常好的底子。
三、Go+ 未来规划
那么从 Go+ 的未来规划来说，大家都知道 Go+ 在谈工程和 STEM 教育、数据一体化，实际上到 v1.2 为止，Go+ 在数据科学领域做的事情是相对少的。会有一些非常有限的能力去实现，比如列表解析、range 表达式等等，但谈不上体系化，实际上 Go+ 的数据科学技术栈还是没有的。
所以在 v1.7 这个非常重要的大版本里面，我们希望 Go+ 自身数据科学的技术栈能够形成。然后到 v2.0 又做了一个大的版本越级，我们希望 v2.0 这个阶段，要能够支持 Python 语法。当然，不是说在 Go+ 里面去写 Python。实际上跟支持 C 比较类似，能够让 Go+ 无缝地去 import Python 的包，这样就使得 Python 数据科学领域历史的积累，都可以无缝变成 Go+ 的数据科学能力。
实际上这两个内容，都是面向数据科学的。原因在于，从工程和低门槛化的大方向来说，到 v1.2 版本基本上能力已经完备。Go+ 基本上不太会去在语法上花很多精力，这一点 Go+ 和 Go 是有非常相似的哲学，我们认为语法越少越好，而不是越多越好。所以，基本上到了 v1.2 版本以后，Go+ 的语法比较定型了，我们不太会加各种稀奇古怪的语法。
但是数据科学是 Go+ 最后的攻坚战，它并不是简单的一个语法创新上能够解决的问题。Go 的数据科学基础能力是比较薄的，当然也是因为 Go 本身兴起的时间比较短，所以它在服务端的工程实践居多。
那么数据科学底子这么薄的话，应该怎么办呢？v1.2 版本把 c2go 能力去工程化以后，为最后的数据科学攻坚战打下了重要基础。因为 Python 的基础是 C，我们如果对 C 做好了兼容，兼容 Python 就变得更加简单了。
v1.7 版本我们会关注什么？它的目标实际上是 Go+ 数据科学技术栈的形成，打造 Go+ 自身的数据科学能力，比如向量、矩阵等一些方面的探索。实际上即使有了这样的基础能力，它仍然还是比较单薄的。
如何真正解决这个问题，让自己站在巨人的肩膀上？我们的设想是通过 c2go 来支持 Python 的数据科学底座（也就是 C 库那部分），v1.7 版本我们希望能够把 Python 的 C 库部分进行兼容，从而走上 Go+ 和 Python 数据科学能力生态融合的道路。但是这个阶段我们对 Python 本身不会去做太多考虑，主要还是关注 Python 的 C 库部分。
但是到了 v2.0 版本，我们就开始考虑把 Python 的语法也引入进来，让 Python 的包自然地成为 Go+ 生态的一部分。我们设想在 v2.0 版本，至少要支持 CPython、NumPy、pandas 这三个工程。第一个是 Python 本身，其余两个是最知名的 Python 数据科学工程，有了它们以后，我们认为 Go+ 就具备了对数据科学的基础生态能力。
这里为大家展示这三个工程的代码，列一下代码行的结构。我们看 Python 本身，大部分底座的代码是 C，但是有 65% 的 Python 的代码其实主要是一些标准库，这个是很容易理解的。但是最核心的能力都是 C 完成的，占 30% 多。
第二个就是 NumPy，NumPy 其实也是一样的做法，它最核心的能力就是 C 写的，还有少量的 C++。但是在这个基础上迭加了一个工具包，是用 Python 自己写的。从这个代码行可以看到，占比基本在 6:3、6:4 的样子。
pandas 结构有非常大的差异，它本身大部分代码是 Python 写的，C 的部分比较少。基本上到了 v2.0 版本才能比较好地支持 pandas，v1.7 版本基本上还不太能支持 pandas，但已经可以支持 NumPy 了。
总结一下 Go+ 的演进之路，我们的目标是实现工程、STEM 教育、数据科学的三位一体。这主要还是因为我们未来的语言，主流趋势是面向全民编程，也就是人人都可以学编程。实际上这个目标很难，但它是未来语言发展的主流趋势。目前鲜有语言在面向这样的趋势努力，Go+ 可以认为是第一个。
今年内，Go+ 在工程化和低门槛融合的探索就将告一段落。从明年开始，我们将对数据科学发起最后的攻坚战。大家都知道，Go+ 诞生之初我们就在谈数据科学。但是实际真正去执行的时候，数据科学反而放到最后一点。
原因在于数据科学真的是比较难的一件事情，对 Go 来说它的距离比较远。但是我们基本上有了 c2go 的基础，就会发现它对我们日后去做好数据科学，会产生很重要的支撑作用。
最后，我相信有了数据科学的支撑，Go+ 会是独一无二的。它的未来，值得我们共同期待。
还未添加个人签名 2021.06.08 加入
还未添加个人简介
评论