闲鱼基于Dart生态的FaaS前端一体化建设

背景

随着Flutter对现有业务的不断参透，闲鱼Serverless基建的重心也倾向了dart生态，先是将dart容器打包到服务器上，实现dart编程语言的统一，在统一的容器之上实现编程框架一体化(nexus、story)，以及后端领域服务一体化。基于dart生态下，前端的FaaS在研发交付其实并不高效，研发阶段主要面临的问题是：
编程语言不统一：编程语言本身虽然不是最大的障碍，但这也确实给前端开发者增加不少门槛，而且更重要的是语言背后的生态、环境与体系更是一道高高的墙。
工程割裂与背后环境复杂：端侧一个工程，FaaS侧也有一个独立的工程，它们背后都有着自己的一套构建、调试、集成/发布的工具链；除此之外FaaS还有自己配套的环境、runtime、框架作为支撑。开发者面对这样复杂的FaaS研发环境与双重的研发工作流是无法做到高效交付的。

编程语言一体化

Typescript作为Javascript的超集，弥补了Javascript的静态类型检查，同时扩展了很多OOP的语法特性，使得TS跟dart在语法特性上有非常多相似的地方，为后面的转换提供了可能与便利。要实现语言层面转换背后都会有一个小型的编译器在支撑着，不过幸运的是Typescript官方已经提供语法解析器，通过它我们很容易就拿到一份可靠的AST，所以我们只需要实现一个dart generator就行了。生成器大致可以分为四个层面的工作：

• 基础语法转换

• 原生方法差异转换

• 业务框架桥接

• 依赖库与头文件桥接

基础语法转换

这部分很好理解，就是最基本的语法层面转换，用个最简单的例子看下。

原生方法差异转换

两种语言在内置原生方法上也有很大区别，举个例子：可以看到下面数组的实例方法在两种语言体系上是不一致的，除了数组插入还有很多很多原生方法是不一致的。当然也没太必要被这个难以想象的数量吓到，大多数情况：90%的场景只会用到那10%的方法，完成了10%的转换就能cover到90%的场景。

// ts
list2.push(10)
// dart
list2.add(10)

要实现系统方法的差异转化首先要识别出该方法是来自于哪个类，比如说 list2.push(10) 我不可能只检查 push ，因为随便一个类/对象都可以实现一个push方法。我们必须识别出 list2.push 的 push 属于 Array.push，别忘了整个typescript编译器中占比最大的类型检查器 ts.TypeChecker ，它可以很好的帮我们解决这个问题。大致思路如下：