应该是个设计上的取舍？如果开了「返回值是 Promise，就忽略」这个口子，那很多人就会想「为啥不把其他类型也顺便忽略了？」，然后大家就随便返回，慢慢开始忘记有「返回销毁函数」这件事。这个代码就变成了屎山。

我觉得看 React 可以把它想成是一个没有语言倾向，随时可能用 rust 重写的东西。react 的设计者兴趣点也不在 JavaScript 上（否则就会像 vue 那样狂用 proxy 了）。这种视角下你提到的「 koa2 极致的代码艺术」就变得非常的不优雅。（我猜的，我没怎么用过 koa2，不太清楚代码艺术具体指什么，不过我猜想是强依赖于 JavaScript 本身的特性发展出来的语法糖？）。

因此，「不管类型，在运行时检查来确定代码行为」这种 JavaScript 味很重的东西，在 typescript 风潮愈演愈烈的，react 野心越来越大的当下，是一件根本就不被考虑的妥协。

至于你上面提到的「卸载函数为什么是 effect 的返回值，而不是独立的一个参数」，这个实在是太丑了，更不可能考虑。