大家好，我卡颂。
最近AIGC（AI Generated Content，利用AI生成内容）非常热，技术圈也受到了很大冲击。目前来看，利用LLM（Large Language Model，大语言模型）辅助开发还停留在非常早期的阶段，主要应用是「辅助编码」，即「用自然语言输入需求，模型输出代码」。更近一步的探索也仅仅是在此基础上的一层封装（比如copilot X、cursor）。
但即使在如此早期阶段，也对开发者的心智产生极大震撼，「AI让程序员失业」这样的论调甚嚣尘上。
LLM的爆发对前端意味着什么？本文尝试预测一波2024年之后的前端开发模式，这个预测遵循如下原则：
为了预测未来，先看看我们是如何走到现在的。
在前端开发领域，我们经历了从jQuery为代表的「面向过程编程」向前端框架为代表的「状态驱动」模式的迁移。
当问到「该选Vue还是React开发？」，这样的问题会引起很大争议，但如果问到「该选jQuery还是框架开发？」，这样的问题就不会有太多争议。
为什么前端领域普遍接受了这种范式的迁移？在我看来，有两个原因：
这一点毋需多言，相信前端同学都有体会。
「面向过程编程」是非常浅显易懂的开发模式。君不见，曾经的前端靠一本「锋利的jQuery」就能打天下。相比之下，「状态驱动」就有一定学习门槛。
当一项有一定门槛的技术（这里指前端框架）变为行业事实上的标准时，行业门槛就提升了，这为从业者构筑了行业壁垒。
事实上，正是由于：
才让后端工程师工作职责中的view层，分化出前端工程师这一职业。
对于前端领域来说，只有同时平衡了「提效」与「提高门槛」的技术，才会被市场（这里的消费者指前端工程师）接受。
举个反例，Angular全家桶的模式虽然提高了开发效率，但是同时，门槛提高太多了。
而且更糟的是，Angular中的很多概念都是从「后端」迁移而来，作为一款前端框架，对后端更亲和且门槛高，这对本身就是从后端view层中分化出的前端工程师来说，是比较排斥的。
再举个反例 —— Vue。有同学会说，Vue这么流行的前端框架，你说他是反例？
还是从「提效」与「提高门槛」的角度看，Vue提效的同时，由于其模版语法、响应式更新等特性，他是降低了开发门槛的，这意味着使用Vue时：
重申一下，我并不是说Vue不好，相反，他是很优秀的前端框架。这里只是从人性的角度分析，并且这个分析很有可能是主观、带有偏见的。
再看个正面例子 —— React Hooks。Hooks对开发效率、组件复用性以及他对React未来发展的影响这里不赘述了。主要聊聊「提高门槛」：
既提效，又提高门槛，我认为这才是Hooks在前端领域火热的原因。
同样的原因，从人性的角度，我很看好Vue Composition API
所以，前端编程范式迁移的本质是：把握「提高效率」与「提高门槛」之间的平衡。
这个结论会成为后面预测未来开发模式的依据。
当前端框架成为事实上的标准后很长一段时间，业界也在不断探索新的开发范式。
有一种开发模式每过几年都会被搬出来炒一遍，他就是「低代码」。用我们上面的结论来分析下：在市场选择的情况下，先抛开「低代码是否能提高效率」不谈，显然他的目的是「降低门槛」。
从人性的角度出发，他就很难在程序员群体中自发传播开。
那么，如果没有新的范式出现，会发生什么事情？会内卷。
我们会发现，这几年前端的发展轨迹，就是在重复一件事：
举个例子，React Router作为React技术栈中「路由」这一细分领域的一个开源库，经过长期迭代，逐渐成为主流路由方案之一。
React Router团队基于React Router开发出Remix这一React框架。
这么做，在没有新的范式出现前，也能基于当前范式（前端框架），达到上述2个目的：
类似的，各种css解决方案（比如tailwind css）也是同样的道理：
那么，未来围绕「提高效率」与「提高门槛」的平衡，前端开发模式会如何发展呢？
首先，我认为，在有限的未来，不会出现新的更先进的范式能让前端领域普遍认可并大规模迁移（就像从jQuery到前端框架的迁移）。
那么，为了提高效率，除了「改变范式」与「范式内 内卷」两个选择外，还有个选择 —— 让整个开发流程提效。
从需求文档到最终代码，存在4级抽象：
当前我们使用LLM辅助编程时（比如以ChatGPT为例），主要是用自然语言输入模块或组件业务逻辑，再让模型输出具体代码。也就是借助模型自动完成从3到4级抽象的转变。
比如说下图我们让chatGPT实现一个计时器：
这个计时器可能是我们需求中的某个模块，在此chatGPT帮我们完成了从抽象3（实现一个计时器组件）到抽象4（计时器组件的代码）。
如果仅仅到这一步，只能说这是个更高效的辅助工具，并不能达到「整个开发流程提效」的程度。为了达到这种程度，我们需要让LLM帮我们完成从抽象1到4的整个过程。
接下来我们来看，基于当前已有的模型，如何完成抽象1到抽象4的自动转换。
首先，来看抽象1（PM用自然语言编写的需求文档）。chatGPT当前已经掌握基础的理解能力，所以他是能够理解需求文档的含义的。
下图是我从网上找的某需求文档中的登录功能流程图：
以当前主流的GPT-3.5举例，虽然GPT-3.5不能理解图片（不能理解需求文档中的流程图），但我们可以将流程图用文字描述出来（最新的GPT-4已经拥有「理解图片含义」的能力）。
上述登录功能流程图可以用文字概括为：
如何完成从抽象1到抽象2（业务逻辑）的转变呢？换句话说，如何用一种介于「自然语言与实际代码」之间的规范描述业务逻辑？
这种规范应该拥有完备的数据结构（类似JSON、XML），因为这样会带来很多好处：
我们可以利用SCXML（State Chart XML）格式。SCXML是由W3C定义的一种「表示状态机」的XML格式，他能够表示状态之间的变化。
前端应用的本质其实就包括两部分：
其中「状态到视图的映射」框架已经帮我们做了。所以，只要能表示「状态的变化」，其实就能表示业务逻辑。
现在，我们让chatGPT将流程图翻译为SCXML格式：
得到如下结构（你不用细看，了解个大概就行）：
<scxml version="1.0" xmlns="http://www.w3.org/2005/07/scxml">
<state id="mainMenu">
<transition event="THIRD_PARTY_LOGIN" target="thirdPartyLogin" />
<transition event="QUICK_LOGIN" target="quickLogin" />
<transition event="ACCOUNT_LOGIN" target="accountLogin" />
</state>
<state id="thirdPartyLogin">
<onentry>
<send event="AGREE_AUTHORIZATION" />
<send event="LOGIN_SUCCESS" />
</onentry>
</state>
<state id="quickLogin">
<onentry>
<send event="INPUT_PHONE_NUMBER" />
<send event="INPUT_VERIFICATION_CODE" />
<send event="SELECT_IDENTITY" />
<send event="LOGIN_SUCCESS" />
</onentry>
</state>
<state id="accountLogin">
<state id="inputPhoneNumber">
<transition event="PHONE_NUMBER_SUBMITTED" target="checkRegistered" />
</state>
<state id="checkRegistered">
<onentry>
<send event="CHECK_REGISTERED" />
</onentry>
<transition event="REGISTERED" target="inputPassword" />
<transition event="UNREGISTERED" target="register" />
</state>
<state id="inputPassword">
<onentry>
<send event="INPUT_PASSWORD" />
<send event="LOGIN_SUCCESS" />
</onentry>
</state>
<state id="register">
<state id="inputPhoneNumber">
<transition event="PHONE_NUMBER_SUBMITTED" target="checkRegistered" />
</state>
<state id="checkRegistered">
<onentry>
<send event="CHECK_REGISTERED" />
</onentry>
<transition event="REGISTERED" target="inputPassword" />
<transition event="UNREGISTERED" target="inputUserInfo" />
</state>
<state id="inputUserInfo">
<onentry>
<send event="INPUT_PHONE_NUMBER" />
<send event="INPUT_VERIFICATION_CODE" />
<send event="INPUT_PASSWORD" />
<send event="INPUT_NAME" />
<send event="SELECT_IDENTITY" />
<send event="REGISTER_SUCCESS" />
</onentry>
</state>
</state>
</state>
</scxml>
至此，我们完成了抽象1到抽象2的转变。
SCXML格式没法直接在JS代码中使用。为了用代码实现逻辑，我们需要使用遵循SCXML规范的库。xstate是JS中比较流行的状态机开源库。
所以接下来我们让chatGPT将上述SCXML格式转换为xstate语法：
得到结果（同样，具体代码你不用在意，了解我想表达的转换意思就行）：
import { machine, sendParent } from 'xstate';
const loginMachine = Machine({
id: 'login',
initial: 'mainMenu',
states: {
mainMenu: {
on: {
THIRD_PARTY_LOGIN: 'thirdPartyLogin',
QUICK_LOGIN: 'quickLogin',
ACCOUNT_LOGIN: 'accountLogin'
}
},
thirdPartyLogin: {
onEntry: [
sendParent('AGREE_AUTHORIZATION'),
sendParent('LOGIN_SUCCESS')
]
},
quickLogin: {
onEntry: [
sendParent('INPUT_PHONE_NUMBER'),
sendParent('INPUT_VERIFICATION_CODE'),
sendParent('SELECT_IDENTITY'),
sendParent('LOGIN_SUCCESS')
]
},
accountLogin: {
initial: 'inputPhoneNumber',
states: {
inputPhoneNumber: {
on: {
PHONE_NUMBER_SUBMITTED: 'checkRegistered'
}
},
checkRegistered: {
onEntry: sendParent('CHECK_REGISTERED'),
on: {
REGISTERED: 'inputPassword',
UNREGISTERED: 'register.inputPhoneNumber'
}
},
inputPassword: {
onEntry: [
sendParent('INPUT_PASSWORD'),
sendParent('LOGIN_SUCCESS')
]
},
register: {
initial: 'inputPhoneNumber',
states: {
inputPhoneNumber: {
on: {
PHONE_NUMBER_SUBMITTED: 'checkRegistered'
}
},
checkRegistered: {
onEntry: sendParent('CHECK_REGISTERED'),
on: {
REGISTERED: 'inputPassword',
UNREGISTERED: 'inputUserInfo'
}
},
inputPassword: {
onEntry: [
sendParent('INPUT_PASSWORD'),
sendParent('REGISTER_SUCCESS')
]
},
inputUserInfo: {
onEntry: [
sendParent('INPUT_PHONE_NUMBER'),
sendParent('INPUT_VERIFICATION_CODE'),
sendParent('INPUT_PASSWORD'),
sendParent('INPUT_NAME'),
sendParent('SELECT_IDENTITY'),
sendParent('REGISTER_SUCCESS')
]
}
}
}
}
}
}
});
export default loginMachine;
这段代码我们可以直接粘贴到xstate的可视化编辑器[1]中查看：
图中初始状态可以转移到3个状态（这些状态都是chatGPT生成的），其中：
每个状态接下来的变化逻辑都清晰可见。比如，当进入ACCOUNT_LOGIN状态后，后续会根据是否登录（UNREGISTERED、REGISTERED）进入不同逻辑：
也就是说，chatGPT理解了需求文档想表达的业务逻辑后，将业务逻辑转换成代码表示。
读者可将上述xstate代码复制到可视化编辑器中看到效果。
接下来，我们只需要让chatGPT根据上述xstate状态机生成组件代码即可。
这时有同学会问：chatGPT对话有token限制，没法生成太多代码怎么办？
实际上，这可能并不是坏事。在我曾经供职的一家公司，前端团队有条不成文的规矩 —— 如果一个组件超过200行，那你就应该拆分他。
同样的，如果chatGPT生成的组件超过了token限制，那么应该让他拆分新的组件。
拆分组件的前提是 —— chatGPT需要懂业务逻辑。显然，他已经懂了xstate数据结构所代表的业务逻辑。
更妙的是，我们可以让chatGPT将「SCXML格式转换而来的xstate数据结构」保存在一个变量中，在后续对话中，我们用一个变量名就能指代他背后所表示的业务逻辑（这里保存在变量m中）。
当我们要生成业务组件代码时，让chatGPT从模块中导出m实现组件逻辑：
对于实际场景下比较复杂的需求，经过从抽象1到抽象3的转换，我们会得到「代表业务逻辑的不同变量」，比如：
如果弹窗广告的逻辑和是否登录相关，那么要实现弹窗广告组件代码只需要告诉chatGPT：
根据signin、PopupAD实现弹窗广告的react组件，其中signin变量由xxx模块导出，PopupAD变量由yyy导出。
如果你司使用其他框架，只需将其中react换成其他框架名即可。当大家还在争论哪个框架更优秀时，LLM已经悄悄帮开发者实现了「框架自由」。
让我们从「提高效率」与「提高门槛」的角度分析这种新开发模式的优势。
首先，这种新模式能显著提高开发效率。本质来说，他将前端工程师从「实现需求」的角色转变为「review代码」的角色。
极端的讲，当需求评审会结束的那一刻，第一版前端代码就生成了。
其次，他能解放部分测试同学的生产力（抢部分测试同学的活儿）。对于维护过屎山代码的同学，肯定遇到过这样的场景：明明只是改动一个小需求，测试问你改动影响的范围，你自己都不清楚会有多大影响，为了稳妥起见只能让测试覆盖更大的回归测试范围。
在使用基于状态机的开发模式后，任何改动会造成的影响在状态图中都清晰可见。同时，由于代码逻辑的实现基于状态机，可以据此自动生成端到端的测试用例，模型也能根据状态机描述的逻辑自己补足其他单测。
接下来，我们从「提高门槛」的角度分析。
首先，能够对模型生成的代码进行查漏补缺本身就要求开发者有一定前端开发水平。
其次，这种开发模式引入了新的抽象层 —— 状态机，这无疑会增加上手门槛。
但这都不是最重要的，最重要的是 —— 这套模式强迫前端开发需要更懂业务。
以前，拿到产品的需求文档后，你可以在做的过程中遇到不懂的再问产品。使用新的开发模式后，你必须很懂业务，做到「在需求评审时就能指出需求文档中不合理的地方」。
因为当需求评审结束后，你会将这份需求文档投喂给模型直接生成业务代码（中间会经历「生成SCXML」、「生成xstate数据结构」、「保存xstate变量」、使用变量生成组件代码）。
当大家技术水平旗鼓相当时，「懂业务」才是前端的核心竞争力。
综上，这套开发模式在极大提高效率的同时提高了门槛，我认为在未来很有可能成为主流前端开发模式。
[1]xstate的可视化编辑器:https://stately.ai/viz。
京公网安备 11010802035086号