函数颜色理论
内容提要
本文解析“函数颜色”理论：函数分为同步（蓝）与异步（红），红函数可调用蓝函数，蓝函数不能调用红函数，且红色具有传染性。Promise与async/await只是语法糖，未根治问题。真正无颜色问题的是Go、Lua、Ruby等多调用栈语言。异步实现分三种模型：操作系统线程、用户态线程和事件循环，各有优劣，无绝对优雅方案。
延伸解读
函数颜色的传染性
文章指出，红色函数（异步）具有传染性：一旦某个函数调用了红色函数，它自身也必须变为红色，进而迫使所有调用它的函数也变红。这种传染性导致代码中红色函数不断扩散，即使使用Promise或async/await语法糖，也无法改变蓝函数不能调用红函数的根本限制。因此，在复用代码或使用高阶函数时，开发者仍会陷入颜色困境。
语法糖的局限性
Promise和async/await虽然改善了异步代码的书写体验，但文章强调它们只是语法糖，并未解决函数颜色问题。本质上，函数仍分为同步和异步两种颜色，同步函数依然不能调用异步函数。例如，在数组的map方法中无法直接使用await，因为map是同步函数。这表明语法糖只能缓解表面痛苦，无法根治颜色带来的架构限制。
无颜色问题的语言特征
文章提到，Go、Lua、Ruby等语言没有函数颜色问题，因为它们支持多调用栈，可以通过协程或用户态线程进行上下文切换。这些语言允许同步风格的代码执行异步操作，从而避免颜色分裂。相比之下，JavaScript、Python等基于事件循环的语言则难以摆脱颜色问题。不过，文章也指出，多调用栈模型可能引入并发bug，需要同步原语来保证数据一致性。
异步模型的权衡
文章比较了三种异步模型：操作系统线程、用户态线程和事件循环。操作系统线程模型编程简单，但上下文切换开销大；用户态线程（如GoRoutine）减少了切换开销，但增加了并发错误检测的难度；事件循环模型避免了抢占式调度，减少了并发bug，但存在函数颜色问题，且一个事件阻塞会拖慢整个程序。文章总结，没有绝对优雅的模型，选择取决于具体场景和权衡。
Q&A
什么是函数颜色理论？
函数颜色理论由Bob Nystrom在2015年提出，指函数分为同步（蓝）和异步（红）两种颜色。红函数可以调用蓝函数，但蓝函数不能调用红函数，且红色具有传染性，一旦使用异步函数，调用链上的函数都会变成红色。
为什么异步函数具有传染性？
因为蓝函数不能调用红函数，当蓝函数需要调用红函数时，它必须变成红函数，进而导致调用它的蓝函数也必须变红，如此层层传播，最终整个调用链都变成红色。
Promise和async/await能解决函数颜色问题吗？
不能。Promise和async/await只是语法糖，让异步代码写起来更美观，但并没有改变函数有颜色这一本质。同步函数仍然不能调用异步函数，颜色问题依然存在。
哪些编程语言没有函数颜色问题？
Go、Lua、Ruby等语言没有函数颜色问题，因为它们支持多调用栈，可以通过GoRoutines、协程或纤程进行上下文切换，从而避免颜色问题。
异步实现有哪几种模型？各有什么优缺点？
异步实现有三种模型：1. 操作系统线程模型：编程简单，但上下文切换开销大；2. 用户态线程模型（如GoRoutines）：减少切换开销，保持函数颜色纯净，但并发错误难检测；3. 事件循环模型：无抢占式调度，减少并发bug，但存在颜色问题，且一个事件阻塞会拖慢整个程序。
事件循环模型是如何工作的？
事件循环是一个不断轮询任务的循环，程序被抽象为事件（任务）集合，加入队列依次执行。事件之间可以有依赖关系，相当于函数调用链。回调闭包作为新事件在运行时加入队列，当异步操作完成时，对应回调事件被激活并执行。
