加载失败
原文将异步编程表述为在调用链中“注入时间”，即把时间或延迟作为程序调用和类型/效果签名的一部分。评论主要从两条轴线展开：一是硬件与编译器层面的实现细节（如 call/ret、branch prediction、shadow stacks、CFI 与 ROP）会影响异步/协程代码的性能与安全性；二是语言层面的效果系统与单子（monad、MonadIO、Effekt、Koka、ZIO 等）提供不同的抽象与实践路径。讨论同时触及文本呈现方式——操作性（如何实现）与指称性（语义上意味着什么）——以及当抽象距离过大时产生的误读与“技术神话”的风险。评论里引用了具体文章、库和小型实现示例，既有理论也有工程实践的参考。
多位评论者反驳“CPU 不关心函数”的说法，指出现代架构普遍有专门的 call/ret 或 branch-with-link 指令，硬件和分支预测器依赖这些配对来猜测返回路径，从而影响性能。评论中还提到 shadow stacks（阴影栈）和 Control Flow Integrity (CFI) 这类安全机制，它们要求以常规的 call/ret 方式组织控制流，间接跳转会带来安全与性能问题。有人举例 Return Oriented Programming (ROP) 的攻击面并引用 LWN 文章，强调“跳到指针处”的危险性与高层抽象的泄露。另有观点指出 coroutine/async 风格代码在实际运行时会降低分支预测效果，因而在微观性能上并非“无代价”。
评论详细区分了动态分派的两种实现思路：vtable（虚表）是对象中保存函数指针列表并在运行时通过指针调用，而 switch/枚举分支则是编译期已知的封闭目标集合并以跳表或 switch 实现。该差异被用于说明设计语义上的开放性问题：vtable 本质上是开放的（任何人理论上可定义新表项），而 switch 是封闭的，不能轻易扩展新目标。有人把这种 dichotomy 与 Philip Wadler 提出的 expression problem 联系起来，指出语言设计在支持扩展数据类型与扩展操作时的权衡。评论认为理解这一点对于把函数调用与动态查找视为“简单开关”的论断是关键反驳点。
部分评论把作者关于“为所有函数添加 IO/效果”的表述与 Haskell 的 monad（单子）类比，提出效果系统和 monad 在思想上高度重叠，尤其当提到需要在上下文中标注 Exception 或 IO 时。有人指出现代 Haskell 中的 MonadIO 可以把 IO 提升到其他 monad，减少“IO 到处”的问题；另有评论推荐现实可用的实现如 ZIO（Scala 的效果库，可运行在 JVM 与 Scala.js）作为成熟实践。评论还提到研究型语言如 Effekt 和 Koka 并建议阅读它们的教程，同时给出在 JavaScript 中用很少代码实现简单效果系统的示例，说明效果追踪既有理论又有轻量级实践路径。
有评论指出文章直接进入函数调用实现细节，而缺少结构化导读，使读者难以把底层说明和上层效果系统的目标对应起来。评论建议同时给出操作性（operational）与指称性（denotational）两种描述：前者说明实现如何工作，后者说明语义上“意味着什么”。作者在回复里承认自己更侧重于理解“它如何工作”，但评论者认为两者并重能帮助读者把实现细节与语言设计目标连接起来。
有评论把过度依赖抽象（例如把函数看成“不存在”的社会构造）比作迷信或宗教，警告当抽象距离太大时会导致误解和盲信。评论指出 LLMs（大模型）可能扩大这种“抽象→神话化”的趋势，使开发者对底层行为的误判更常见，甚至出现像“技术祭司”（Adeptus Mechanicus）的戏谑类比。这些评论用文化与历史类比来强调：理解底层细节（硬件、运行时、安全机制）对评估高层语言设计主张至关重要。
call/ret: 函数调用与返回的处理指令（call 和 return），CPU 和分支预测器用它们来管理返回地址与控制流，影响性能与预测正确性。
branch prediction: CPU 用于预测分支目标的硬件机制，准确的预测能维持流水线效率，call/ret 配对对预测器尤为重要。
shadow stacks: 阴影栈，一种安全缓解措施，将返回地址保存在独立安全区域以防止栈上返回地址被篡改（用于抵御 ROP 攻击）。
Control Flow Integrity (CFI): 控制流完整性技术，通过限制程序的合法跳转目标来防止恶意间接跳转或代码重用攻击，要求控制流结构更“规范”。
Return Oriented Programming (ROP): 一种利用程序现有指令片段和 return 指令构造攻击的技术，强调间接跳转/指针跳转的危险性。
vtable: 虚表（virtual method table），面向对象对象中存放函数指针表的机制，用于运行时动态分派；与编译期 switch 不同，vtable 更“开放”。
expression problem: 由 Philip Wadler 命名的语言设计问题，描述如何在不修改既有代码下同时添加新数据类型和新操作，关联到 vtable（开放）与 switch（封闭）的对比。
Monad / MonadIO: 来自 Haskell 的抽象（monad）用于封装副作用；MonadIO 是一个类型类，允许将 IO 操作提升（lift）到其它 monad，从而复用 IO 代码。
effect system: 效应系统是在类型层追踪副作用的一类机制，既有研究语言如 Effekt、Koka，也有工业级库如 ZIO（Scala 的效果库），用于显式表达和组合 I/O、异常、并发等副作用。