为何PureScript编译后Safe.Coerce与newtype存在无操作函数调用

核心原因拆解 #

• 开发模式下的编译策略是保守的
  面向JS的编译后端默认优先保证可调试性、代码可读性，不会启用激进的死代码消除、跨模块内联优化。哪怕coerce、Selection构造器本身是直接返回入参的恒等函数，只要它们是模块导出的公共API、对应源码里明确写出的类型转换/构造逻辑，编译器就会原样保留函数调用痕迹，不会主动把这些调用替换成裸表达式。
  这类保守选择的背后还有JS生态的特殊性：JS是高度动态的语言，运行时代码完全可能修改、劫持全局函数的行为，如果编译器随便删除一个全局可访问的Selection函数引用，反而可能触发不可预期的运行时错误。
• 编译是分阶段执行的，类型检查的逻辑不会反向清理运行时代码
  coerce、Selection构造器的核心价值在类型检查阶段就已经完全实现了：
  • 对coerce来说，它会校验两个类型的运行时表示是否兼容，满足规则才允许做类型转换，杜绝跨类型的非法赋值；你观察到的传入safe coerce的类型类字典没有实际逻辑，也是同样的原理——这个字典的核心作用就是在类型层面标记转换的合法性，运行时不需要执行任何额外校验，开发模式下会把空字典结构原样保留。
  • 对Selection来说，它会把底层的Int类型包装成独立的新类型，避免和其他同底层类型的变量发生混淆。
    等类型检查完全通过进入代码生成阶段后，编译器不会倒回去修改已经生成的函数调用表达式，把对应的恒等函数删掉。这和静态语言的编译逻辑一致：类型层面的约束完成校验后，不会自动消解对应的运行时调用痕迹。
• 这类无效调用的消除是优化模式下的可选行为
  当你开启生产级优化开关（比如对应后端的--optimize配置）时，编译器会逐文件分析所有恒等函数的调用点，直接把Selection(x)、coerce(x)这类恒等调用，以及没有实际逻辑的空类型类字典全部替换成等价的精简表达式，最终生成的代码会和你手写的无冗余版本完全一致，不会残留多余的函数调用开销。
  默认模式下刻意保留这些调用，本质是为了降低开发时的调试成本：保留和源码对应的函数调用痕迹，堆栈追踪、代码断点的位置就能和源码一一对应，不会因为过度优化把调用链打散，增加调试难度。

你观察到的“运行时表示完全相同但存在多余调用”的现象不是编译器的实现漏洞，只是开发构建和生产构建的策略差异。

内容的提问来源于stack exchange，提问作者Mrk Sef