对谈MoonBit，AI时代的编程语言应该是什么样子的？

本节目由津津乐道制作播出没有？

喂喂喂，

一一一一一五老师没有。

各位听友大家好，

这里是津津乐道博客网络和 rte 开发者社区联合制作的博客节目编码人生。

哎，

今天我们请来了一位老朋友，

还请来了一位新朋友，

先介绍我们的老朋友。

狼叔大家好，

我是狼叔。

之前在 note 社区比较活跃，

然后写过三本书，

也叫狼叔。

对对对，

狼叔的书你们都收到到了是吧？

对，

上期狼叔来的时候，

我还做了抽奖，

送大家狼叔的书啊也叫狼叔啊。

对，

狼叔呢是 nodejs 领域的技术布道者。

然后可能开发者领域的朋友都认识，

没有不认识狼叔的，

谁能不认识狼叔呢，

对吧？

啊，

哎，

那我们的今天的新朋友呢是是张洪波老师，

他是 moon 贝塔的编程语言的作者，

来介绍一下自己吧。

大家好，

我是张洪波。

现在是粤港澳大湾区数字经济医院的技术软件中心的负责人。

嗯，

我们技术软件中心主要做的就是一个开发者工具平台叫 mubbyit 呃，

月兔编程语言以及它的一整套工具链，

它叫月兔，

是吗？

对呀，

哎怎么想到这个名字我还挺好奇的啊，

实际上是解释下这个英文名是 moonrabbit 的缩写，

就把拼在哦哦是这么拼在一起的。

ok 为什么我们取月兔呢？

因为我们当时考虑到，

比如我们国家可能航天事业做的比较好，

一像嫦娥呀，

然后我们搞一个类似的名字，

我们就取名叫月兔，

对吧？

好像还有个含义吧，

因为兔子比较快吧，

这个可能我们当时还没有考虑到这个。

对，

可能会找一个比较萌的，

因为编程语言都会选个动物什么之类的，

像国外很多像 python 嘛什么对吧？

呃，

都会想选个动物做吉祥物。

嗯，

兔子本来就比较萌，

所以我们呃也考虑到这一点嘛。

嗯嗯，

对对，

但是兔子大家还比较好好，

你要叫叫天彭元帅这事就可以了。

是是吧？

可以简单给大家介绍介绍你的这个编程语言是什么样的一个东西，

它解决的是什么样的问题呢？

就是 mubby 的这个乐透有程，

它是一门通用编程语言强类型的那就像我们日常用的 python 啊，go 啊这种编程语言一样，

它可以写任何东西是吗？

对它是个通用编程语言，

我们也支持了呃多后端。

像 codlin 啊就是跟 courtine 有点类似，

它支持呃 websam 加 three，还有我们可能过两三个月就会推出我们的 native 原生后端。

嗯，

啊所以它的应用场景应该是和 codlin 和 java 这个高度重合的。

但它要解解决什么问题呢？

就是我希望所以我们讲做一门编程语言，

它是一个呃供应量耗大的，

需要很长时间来投入的。

而且一开始的话普通用户他没有去动力用你这个编程语言。

所以我们会想到，

在某些场景上会比现在解决方案会更好。

所以当时我们做这个一个出发点，

就是考虑到 websame 里这个一个指令集，

呃，

它是一个比较新的指令集，

大概是在一七年有几个大的厂商制定一个指令集呢？

啊，

虽然现在主流编程语言都可以编译到 websumming 啊，

像那个 c 加 javaacoding 都可以。

但他们的编译出来的这个性能不是很好，

然后体积也不是很好。

所以我们想想，

我们作为后发发者，

如果在这个平台上，

我们是会有些优势的。

所以我们第一个后端就是 websemi 后端。

我们希望在这个呃后端上，

我们深圳的体积很小，

然后它性能也很好。

然后事实上也确实证明到了呃，

经过我们的呃推出啊，

就是我们在 websame 这个平台上啊，

确实会比现有的主流解决方案好很多。

嗯，

啊所以我们就推出的第一个后台是 work，sendme，你等于是原生支持啊。

对对，

对对对，

我们一开始就围绕着 aworkseme 让怎么样背到这个平台会更好。

但是我们个人觉得我们是一个呃很有野心的一个呃开发者平台。

就是我们不仅仅只止于这个 webfamily，就是我们通过这个 webfamily 来吸引一波早期的死忠粉啊的忠实的用户。

然后我们会慢慢的切入到其他的生态。

嗯，

大概是这样一个思路，

对吧？

那怎么描述你的面向的用户的画像和你语言的使用场景了？

就原来一般来讲就所有人你要做一门新的编程语言，

都是对现有的编程语言不满，

不是很满意。

对吧如果现在编程语言都已经覆盖你的大部分需求的话，

就没有必要去他翻译编语了。

毕竟这不是一个简单的体力活，

是活活的事情。

对，

就是我个人做工必子的一个出发点。

就是就是现在的主流编程语言，

就没有我特别让我觉得很棒的一个编程语言。

我像我，

但是我觉得 rust 这是最接近的，

但是还它有些问题，

我想把可以给你真的敢说吗？

这个然后所以我觉得我我讲这个还是有有共鸣的。

就是呃就是 rust，它有很多很好的特性啊，

比如它有安全啊，

有呃类意推断啊，

有模式匹配啊，

但是它有一个就是他有程序员要很多时候他学习门槛实在太高了，

比如他的那个 lifetime 是啊生命周期。

对啊，

这两个痛点一个是他的生命周期学习习量很高。

另外一个它的编译时间实在太长了。

嗯，

就是我们想哎如果我们做一种编程语言可以解决这两个问题，

就是以后编译希望希望能快不是快百分之十百分之二十快十倍一百倍啊，

这是一个想解决的痛点。

另外一个就是说哎我们还是 rush 众多好的特性还是有。

但是我们想不要有这个还是要那种 ggc 做那自动卫生管理啊，

这是我们一个比较大的出发点，

我就觉得在现有云上可以做一些改进。

朗叔，

我知道你是他们的顾问是吧？

你从一开始就在跟着他们的这个语言在往前走，

看着他们发展起来的那你作为一个开发者，

对吧？

他是创造这个语言的，

你是使用这个语言的那你作为这个开发者，

你怎么去评价他们的现在的这个产品和阶段呢？

嗯，

就是目前我也用了挺长一段时间了。

我的感受的话，

第一个是语法更接近 rust，然后他的那个设计哲学调用的方式更接近于 go。

也我觉得他也有点接近于 go 哈。

对对对，

因为你在 rust 里边的话，

比如说像智能指针呢，

很多那种复杂的，

或者用 train 实现的一些基础类型的话，

会非常复杂。

那个在木门贝塔里边的话，

基本上把这些问题给屏蔽掉了。

所以在看那个个木 on 贝贝的靠的时候的话会非常的舒服。

在写起来的时候其实也不太过度的需要去注意。

比如说它实现某和 tent，这个大家都差不多。

但是在往那个更复杂一些的那些类型推断的地方的话，

我感觉没太感受到那种点，

所以在复杂度上会降低了。

对对，

非常多。

对，

嗯嗯，

就是然后说的很有道理，

就是我们 movie 在啊在语言特性方面啊，

适合 rush 的靠拢。

但在工程方面我们是很够语言靠拢。

嗯，

就是我我觉得购员的很多就很容易，

可能效果是道道至简了。

但是他在工程管理下包管理啊，

他的一些工具还是做的非常优秀的。

所以我啊对对对，

但是两方面的一个结合吧。

对啊，

然后那个里边的话，

像那个函数是相关的内容，

其实也非常多。

我感觉可能是从我看看的部分应该是对生成的。

对对对，

但是好像变得更简单了了，

就就是这这样就 okm 其实对很多原因都有很很深的影响。

像 rest 它最早的编译器就是第一个版本的编译器，

就是 okm 来写的对他的作者那个 gradienthall 其实就是一个 okm 开发人员。

然后我自己个人也和 okm 也相的远远就我在读博的时候是 okm 的那个核心开发人员。

所以很自然的就毫无疑问，

我肯定会受受 ocome 的影响。

但是所以我们会吸收了一些欧康姆的一些比较优秀的成本。

像模式匹配啊，

但是我们又不像 o 康姆，

那么过于函硕士，

就是我们还是希望它成为一个主流编程语言，

所以我们也会有 for 循环啊啊也会有 breakcontinue 啊，

就是这种也叫你的工业语言里面会有的一些成本。

嗯嗯，

对，

就是感觉的话之前可能是像那个 wescript 的话，

其实已经是相当流行了。

但 rescript 上手难度的话，

还是要要比 onbata 高一些。

因为大部分人的话，

其实像面向过程最简单了。

然后其次，

面向对象，

然后面向函数式，

这种编程还是很多人接受起来，

可能还有会有一定难度。

我理解的话，

比如说像借鉴了 rust，像这个 fn 这个函数定义 block 这一块做法，

还有这个 tined，这些特性写起来会变得更简单。

就这个地方应该是你这设计的时候，

应该是有一定的降级吧，

就考虑到更多的可视性，

不能说是降级。

但是 movie 肯定是说我之前做一门 risk 编程语言影响的。

嗯，

它 risk 编程编译的语言它有一个问题，

就是说它的工具不是很好，

就它的比如说它的 d 呀。

嗯，

呃我们当时做这个编辑，

然后过了好多年，

可能两三年三四年以后才会有一个这个勉强凑合能用的一个呃 id。

所以后来我们在做蒙 omby 的时候，

考虑的一个出发点呢，

就是是说这门语言设计的一开始要让你的第三方工具很好搞啊，

这个其实也是受 go 语言的一个影响。

所以我们在推出这个 movie 的可能大概一个非常早的版本啊，

就是阿尔法或者 pray 阿尔法版本的时候，

我们就第一时间推出了这个 id。

所以我们在选取语言特性的时候，

会照顾到唉某些特性是比较好做啊，id 好做，

静态分析的我们就保留下来。

有哪些原特性呢？

是不太好做 id 的，

我们就可能就会考虑还给给给去掉啊。

当时为了好兼容这个 ide 对来做的这个呃静态分析相对友好的这样一个个架构。

但今天我们的节目的主题是大模型时代的编程语言。

那说到这个好像又无心插柳了一下是吧？

对你为了兼容 ide 做的对，

静态分析友好的这样语言是不是道的？

大模型时代，

好像大语言模型也更容易理解它。

对对，

这这两个其实是不冲突。

对对，

其实目标是一致一致的。

对对对，

目标是一致的。

就是呃就比如说我们会有一个按道理，

就是在 risk 里面它那个函数的类型推断呢，

其实你在顶层的函数类型，

它也是可以推断的对吧？

就是它那必要做的特别强大，

但是这个呢反而不利于这个 id 的开发。

就 id 的话，

我希望哎这个在毫秒级就是你用程序员修改一个函数，

在一个可能毫秒级就能够给你一个正确的一个提示。

但如果你是呃顶层函数都是需要类型推断的话，

很可能就你上面的一个类型改了以后，

它的错误要传到很远很远。

所以我们就考 a 这个我们就会做个取舍，

就会要求哎你的顶层函数就可能要标输注你的类型。

但你的本地函数就 local 的那个函数还是可以做了一些推断的。

这样的话我们就可以非常快速的构建一个这个函数级别的上下文啊，

对你的静态分析可以做的非常的增量似的非常快。

今天我们讨论这个大模型时代的编程语言，

就让我们想到了就是语言和我们计算时代的这样样的一个渐次上升的这样一个过程。

刚才我录音之前也聊这个问题啊，

从一开始我们用机器码编程，

然后后来呢我们用编译器对吧？

实时编译，

像 c 啊等等这些我们来编程啊，

好像是啊省去了很多这个机器码编程的复杂性，

对吧？

对，

然后呢，

后来由于这个大家觉得好像这些语言要下降，

下降到普通人也能用。

然后我们又出现了很多所谓的脚本语言，

像 prpprp 啊对等等这些。

那到到后来呢，

随着我们的计算的使用场景越来越多，

我们又到了这 java 这种字节码的时代，

就是所谓的一处变出处欲行。

但是这个现在就直接成一个梗了哈嗯啊后来啊又有了像面向互联网时代的这些 go 啊等等对这些语言的诞生。

那今天我们讨论了两年，

我们进入了一个所谓的大模型时代哈唉好像在大模型时代，

我们的编程语言也会跟着这个计算的变革来做相应的变革和调整，

甚至会出现一些新的编程语言。

对，

我不知道洪波怎么去理解这个计算时代与这个编程工具之间的这种渐次上升的这个关系呢？

对，

就是我们月兔这本编程语言这个时间点和叉 rgb 几乎是重合的。

就是我们大概是在二零二二年十月份立的一个项目，

那差不多啊，

然后十一月份就出了了叉 rgb。

然后我们看到这个呃它生成代码效果很好啊，

所以我们就会考虑它单模形式。

哎呀，

怎么让这个编程语言更加友好和经济的生产出很多这个高质量代码。

然后我之前也看到过一篇英文博客，

讲的很有意思，

说嗯大模型会不会 kill 掉 python。

他的观点很有争议。

他是说 python 的主要优点呢，

可能在大模型上反而写的不是很重要。

比如 python 代码，

它可以写的很简洁，

但是未来的代码大部分都是由机器生成的，

嗯，

所以简洁性可能并没有那么重要。

对，

但 python 的缺点就反而会比较突出。

比如说呃 python 它的这个代码很难做一些静态的验证和 review。

对，

因为大量代码是由机器生产的时候，

我怎么保证这个代码的可靠性，

嗯，

所以需要大量工具 review 和测试。

嗯，

哎这点你判断它的动态语言对吧？

啊，

它可能可能会有些差距。

然后另外一个点呢就是 python，它的性能不是很好。

嗯，

但是说你之前的话，

唉，

我说 python 因为性能不是很好，

但我很简洁啊，

可以，

我也能接受。

他现在我不需要那么简洁，

是不是可以大量的生成代码，

是不是可以获得一个更高效的一个唉一种复杂度，

我去换一个效果。

对对对对对，

所以目的的考量也是我们在想，

就是说我觉得当这个是个 open 的一个 power，就没有说一个很明确的一个定义。

就我们的考虑的就是说就根据我个人的判断，

就是说一个一个编程语言，

它本身可以让机器能够就是我们的传统的静态分析工具。

这也叫它也是一种智能，

叫 codeintelligence，对它代码智能对吧？

嗯，

它如果它能够快，

是让传统的这种代码智能理解，

我觉得它应该也会让啊大模型来理解。

所以我们的选取的一些语言特性啊啊会为这个大模型作业考量。

比如说举个例子啊，

就是我们的整个代码的这个结构是一个非常平坦化的结构，

它没有什么很复杂的 hierarchy，它不会有层层嵌套哦。

就是我们观察这个大模型，

如果遇到你的嵌套太深了的话，

它就会有遗忘啊，

对，

对还会遗忘。

所以我们会让这个尽可能平坦化的结构。

但平台化的结构，

你又不能丢失掉一些某些语言特性，

对吧？

所以这是一个考量。

另外一个呢哎我们希望这个我们的这种传统的这个代码智能可以和那个大模型智能来进行交互。

啊，

这其实我们已经用到了，

就是说你比如说当兵出码的时候，

呃出了很多代码，

然后我会实时的用传统智能来检测这个东西，

对不对？

嗯，

所以就对我们这个呃 id 的，

因为它这个每个 token 出的是一个一两个毫秒，

要出一个 token，所以将你一个非常增量的一个呃语义分析。

所以我们希望哎我们这个编程最远能不能适配？

让你快速的做一个增量的语义分析心态分析功能。

对，

这是我们的。

第二个是。

然后第三点就是测试，

还有我们非常重视的测试。

我们甚至是把测试的 test 作为一个关键字来做，

就是非常让用户很容易写这个测试。

而且这个测试呢，

它的那个用户只需要写你想观测哪些行为。

然后我们会有第三方的工具来帮你，

就是不是第三方工具是我们集成这个工具会帮你。

你把想要关注到的行为自动帮你生成它的结果。

然后人只需要进行审核。

然后我们还有一个，

我们现在已经推出了我们有一个测试覆盖率工具。

这样的话整个测试可以做到一个全流程的呃 ai 来自动生成这个测试 ai 根据你的这个测测试覆盖率，

知道哪些东西没有被测试掉啊，

他会甚至哎我要观测哪些这个呃测试的点的一些行为。

然后人只要审核这个测测试的结果就可以了。

然后通过就是我们的做一些相关的工作，

听上去就是你原生的把自己的语言和大模型的能力就结合在一起了。

所以我们希望在这点上做好。

嗯嗯，

现在很多就是我让他生成一段，

别管他生成 python 还是生成 go 的。

然后他做的事情呢，

其实就是适配以前的那些代码的例子。

然后他出 token 嘛，

其实就是他给我做出来。

但是在这个时候呢，

你也也会往往会看到它会出现一些。

错误。

而很多的错误会在就像刚才洪波说的类型推断啊等等这些问题上。

因为它的复杂性更高嘛，

就是它很难通过脱的预测的这种方式把它非常完美的生成。

它会有些幻觉，

稍微会有一些幻觉，

幻觉或者说叫爱意性，

他拿语料去训练的。

所以他在会有而异。

没错，

错觉语法打的时候其实并没有考虑到说是为了机器更好的去出马去做准备的。

所以在这个 menbeat 的时候，

你们就原生的考虑到了这个问题。

对，

而且事实上也确实有效果，

一般来讲就大模型时代这个哪个效果好，

就是说因为是它的语料很多。

对，

但是我们 menbeat，现在几乎是没有什么语，

要，

因为还是一个非常年轻的名声语。

对，

但是我们用那个开源的 lamathree，然后加上我们这些呃静态分析工具，

其实已经可以一次性的就可以生成这个语法运行类型，

正确的代可以跑起来。

大家可以如果看看我们的 ai 点 mod，让点 com 就可以做一些测试，

都已经是可以直接运行的。

平时自己写的时候，

比如说写的代码啊，

直接生成测试，

然后一点测试，

那整个流程还是体验非常深。

对对对对，

这也是我好奇的一个问题。

你像他是二二年的，

十月开始立立做的对，

那我可以理解当时的大模型可能还没有学习到他这门新的语言，

现在应该现在也没有那么多。

对，

所以他现在比如说我用一个现成的呃单元模型，

比如我有这种 gpt 四 o 嗯，

对吧？

我让它生成你们的代码，

他现在能做到吗？

可以可以，

没问题，

但是你要前置要稍微做点工作。

就是我们有一个形式化的 grammar，形式化的玩法可以送给他啊。

一种简单代码，

它可以一次性生成证据，

就是在 prompt 上去做一些。

对对对，

然后然后呢你再做一点这个刚刚我刚才说的就是合理的微调，

不是我们那个意义上的微调。

是说根据这个 id 的这个，

比如说一个 a 点上有什么什么方法，

它生成代码的方法可能没有。

哎，

我们根据我们这 id 的反馈的结果，

给他一个正确的方法，

就能够呃一次性生成一些正确代码是没问题的。

它的方法能力很强。

我们是甚至在我们开发这个 movie 的这个标准库的时候，

用的 copilot 就 gethelp 用的 copilot，可以一次生成几百行。

这个测试代码一次通过啊，

印象非常深刻，

对吧？

就没有做任何的没没有任何的微调。

对吧？

对我要是用其他的语言，

实际上生成测试用力的话，

很多时候是不一定跑跑不通的。

很多时候是跑不通的，

上次那个 giac 的时候，

那个洪博直接现场给我演示的，

然后直接拿那个 ai 点儿对烂点 com，然后直接再在上面的演示，

然后非常惊艳。

对啊，

就是目前我理解的话，

整个莫文贝的生态上的那个包的话，

相对来说没有特别多，

但是很少很少。

对对对，

所以在这种情况下能够去呃出马精准，

然后高效。

那我理解是跟这个底层设计是有直接关系。

对，

我们希望它尽可能简单，

但简单其实是一个很难的事情。

就是说唉你把一些最重要给留下来，

一些不必要的给给给去掉，

对吧？

对，

裁剪其实还是挺重要的。

就是因为最近某个语言也发布了嘛，

就是对比一下特性的话，

就是 moon 贝贝会会更内敛，

或者说它的统一性会更好，

是语法非常克制。

然后这有语法的话，

又能够保证这个类型推断和用用起来更舒服。

我理解这个对那个 ai 出码应该也有一些帮助。

对对对，

就是我们就是和 rescuee 不一样，

就是我们希望这么编程运用，

但是是我的希望嗯是有很多很多人用的。

所以其实我们现在我们最小有高中生在使用，

核心做开了。

对对对，

所以我们就希望这个它的门槛不要太高，

嗯，

就是不要做一个就是我们希望做一个在某一点上做到极致的，

但不追求大而追求在单点上有非常优秀的表现。

就感觉的话可能是你在学术上和工业级语言做了一个平衡。

对对对对对对，

是这样。

那他是不是有代码量会不会要比普通的？

我们现在人类写的代码要更大一些？

比如说我同样实现一个功能，

我用 go 去实现和这种 mobile 去实现它是是不是代码。

它有点点不一样，

是这样，

就是 mobile。

虽然我们虽然说它简单，

它的该有的还是有。

就是我们说比如说我们也也有泛型啊，

有那个有 treat。

也就是说这些抽象机制我们是提供的还是有抽象的，

是吧？

不是平铺出来的，

就我们这个其实它的一点零版本应该是不属于任何的语言，

主流编程语言的抽象能力的对，

就是我们有有有模式匹配啊，

有那个泛型啊，

有 chage 啊，

都有的。

就目前在那个靠包里边，

像 adt 啊是做那些各种优化的话，

我理解是已经验证了这个问题的。

就是刚才我们说的这些特性不输任何主流语言啊。

对对对，

我们在那个核心的包里面，

对对对对，

都已经完全的去实现。

对，

对我觉得我们的语言特性应该是不比够一点八，

这种版本的少的基本也是差不多的对。

嗯，

当然一个编程语言更要的除了我们说的它的基础的这些特性，

我们的呃这个设计观这些东西以外，

更重要的可能还有一个生态社群的这一块儿的支持。

刚才你也提到了，

现在社群的包可能还会啊比较少，

毕竟是刚刚开始嘛。

对对这一步，

下一步有什么样的打算和计划来丰富生态社群？

这方面实际上更多的人来贡献。

第一是在上面做开发。

第二，

可能会要给他去贡献一些东西，

他可能会越做越大。

而这个东西好像又是很多很多的编程语言，

能够上一个台阶的一个关键要素。

这个问题你想怎么解决？

就是我们经常会在论坛上看到，

有些人说唉这个编程语言不难，

做难的是生态，

就是观点。

对啊，

非常非常普遍。

但只是我觉得这个观点是有问题的。

就是说其实是因为你的编程语言为什么做不起来？

生态有两个原因啊，

一一个是可能你缺一个金主或缺个 sponsor，对吧？

对啊，

另外一个我觉得很大原因是你这个编程语言没有什么优点，

对吧？

你很男性的，

比如我已经有一个经过很多测试的 java 编程语言，

为什么要用一个你这个一堆 bug 的一个新的编程员，

对吧？

你要给他一个理由啊。

对对，

我们就希望唉 movie 确实是有些某些优点，

靠某些特性来吸引到用户去用的。

所以这里面我就几个优点啊，

就第一个优点就是我刚才在第一开始提到，

就是我们在五百分的这个平台，

它的那个代码的体积和代码的性能啊是可以得到一种极致的，

会比现在主流解决方案多好。

嗯，

啊，

这是第一点。

然后第二点，

因为我们希望这个语言本身就非常的优雅愉悦，

就说而且你的工具会很好用。

为什么我们开源了？

我们大概是两三个月前开源了，

我们的核心标准库开了以后，

让我觉得非常宽慰的是说，

整个标准库基本上都是由外面人来写的，

不是我们自己写的。

就是说呃就因为标准库它需要很多不一样的技能吧。

嗯，

为什么为什么我们在这个语言这么早期，

就会有人愿意去写这个代码呢？

它是我觉得有两个系统做的比较，

好一个是我们 id 体验，

基本上和那种阿里的编程语言已经是打平或者更好。

就我我的感觉就是我们的 id 呢可能会愿意专门为这个编程语言去做了一个 id 给他对 id 插件。

对 ok 就然后我们的测试也做的很好。

为什么我会把测试做放那么重要？

是因为我们也预计到我们的很多库呢不是我们自己写的，

因为我我写不了那么多库，

所以但是我们希望保证它的质量也能得到保证，

所以让这个测试要非常非常容易写啊，

这也是我们做了很多前期的工作。

因为成娟可能现在最讨厌的就是写测试。

对对所以我觉得只要我们这个在某些领域有一些非常闪光点的话啊，

就会吸引人来去做这个事情。

对，

比如像很多原因都是这样，

像 rest 啊 rust，他为什么那么多人有那么多呃布导者为愿意搞这么编程语言？

因为他有一些啊非常吸引他的一些特性。

嗯，