加载失败
原帖讨论有关“Second Class Values（第二类值）”的论文和设计选择，评论者从语言理论与实现经验出发指出该论文在栈/堆、闭包与上升函数参数（upward funargs）等问题上忽略了几十年的研究成果。被反复提及的背景工作包括 Stallman 的 Phantom Stacks（认为栈只是分配策略）、Henry Baker 的 bump allocation 思路以及 Chicken Scheme 的实现经验；现实语言如 Go 通过 escape analysis 自动决定栈/堆分配以降低 GC 压力。讨论由此延伸到工程权衡：类型层面的模型是否能捕捉运行时的迁移行为、性能敏感代码是否需要手动控制对象位置、以及在硬实时系统中仅避免 GC 是否足够。相关项目或概念在评论中被逐一引用以说明既有理论与实践之间的差异。
多位评论者指出论文及其引用工作忽略了数十年的相关研究，特别是 Richard Stallman 的 Phantom Stacks（1980 年论文），该论文认为栈只是内存分配的一种方式，垃圾回收器可以将原来的栈区域视为堆并重排而不改变对象语义。评论中还引用了 Chicken Scheme 对 Henry Baker 提出的 bump allocating 思路的实现：先在栈上分配对象，到达阈值时把仍可达的闭包/环境移动到堆，从实践上说明对象可以透明地从“第二类”变为“第一类”。基于栈/堆来在类型层面划分 first/second class values 的做法被批评为与这些既有结果不兼容，因此把问题重新包装成新的类型模型被认为是在重复已知结论。
评论举出 Go 的 escape analysis 作为现实世界的解决方案：编译器证明对象不逃逸时在栈上分配，否则退回到堆，新的 Go 版本不断改进该分析且不破坏程序行为，从而模糊了栈/堆的严格区分。Chicken Scheme 的 bump allocating 实践被提为实现范例，能在不破坏语义的前提下降低 GC 压力并提高性能；同时有人指出即便在 C++ 中，捕获 lambda 常导致堆分配，论文思路可能有助减少这类分配提升性能。评论亦强调工程现实：虽然自动策略有用，但在低级性能场景下程序员有时仍需要对对象位置与布局进行显式控制。
论文声称“可证明不触发 GC 的代码段具有确定性时序，因为不会被垃圾回收打断”，但评论者指出这只是消除了 GC 作为中断源的一项因素，而不能直接等同于满足硬实时约束。要满足硬实时通常还要考虑中断、调度、多线程、主存与缓存争用、以及对专用算术单元的争用等，这些并非仅靠关闭或避免 GC 就能解决；另外像 stack unwinding 等机制也会引入不可忽略的延迟。一些评论指出在单线程或 stop-the-world GC 的语境下论文断言成立，但保证完整的硬实时行为超出单一 GC 讨论的范围，并可参考已有支持实时 GC 的 JVM 实现。
有评论提醒栈/堆二分法不仅是语言设计问题，也是 C 语义与现代处理器指令集的深层假设：用栈实现递归与帧分配是硬件与惯例广泛支持的最灵活方式。尽管可以在语言/运行时层面混合栈与堆的分配策略，但底层生态与处理器对栈的预期使得彻底抽象或替换具有现实成本。评论倾向于折衷：在保持抽象便利性的同时，为低级性能场景保留显式控制或更精细的分析（如更强的 escape analysis）。
部分评论直接质疑论文预设需要垃圾回收器这一前提，认为若不希望 GC 存在应在语言/运行时层面选择非 GC 方案，而不是仅在类型系统层面做区分。即便如此，评论也指出论文的技术仍有价值：在像 C++ 的场景中，捕获 lambda 导致的堆分配可通过类似思路减少，从而改进性能。总体上，这组观点把讨论从纯理论模型拉回工程权衡：是否接受 GC、在哪些情景下需要人为控制分配，是设计选择而非单一理论问题。
Phantom Stacks: Phantom Stacks（Richard Stallman 1980 年论文）主张把栈看作一种内存分配策略而非特殊的内存实体，GC 可以将原栈区域并入堆并重排而不改变对象语义，从而模糊栈/堆界限。
bump allocating（bump allocation）: bump allocating 是一种线性、无额外元数据的快速分配策略（把指针向前推进），Henry Baker 的思路被 Chicken Scheme 用于先在栈上分配对象，必要时把仍可达的对象迁往堆。
escape analysis: escape analysis（逃逸分析）是编译器静态分析技术，用来判断对象是否会"逃出"其栈帧；若不逃逸则可在栈上分配以避免堆分配和 GC 压力，Go 使用该方法优化内存分配。
upward funargs: upward funargs（上升函数参数）是编程语言理论中的经典问题，指函数返回后其局部环境仍被外部闭包引用的情形，会导致需要把环境从栈移动到堆或采用其他持久化策略。
stop-the-world GC: stop-the-world GC（停止世界垃圾回收）指在回收期间暂停程序其它线程的 GC 模式，这会对延迟和实时性产生重要影响。