haskell - 动态链接是否会损害 GHC 中的内联性能？

Question

众所周知，内联可以实现 GHC 可以执行的许多复杂优化。如果我动态链接一个库(并从中获取一个实际的 dll/so 文件)，GHC 是否仍然可以在它应该有的地方内联，就好像链接是静态的一样，其余的取决于 dll？还是我实际上获得的优化较少？

Answer 1

当函数被标记为 {-# INLINE #-} 或 {-# INLINEABLE #-} 时——或者如果 GHC 认为它 Cheap Enough™——整个未损坏的 RHS 与编译后的 .o 对象一起包含在接口(interface) .hi 文件中。据我所知。

所以不，我很确定它不会伤害内联。虽然动态链接会影响代码局部性，但与您所关心的内联方面相比，这是微观优化。

警告:我实际上没有对任何东西进行基准测试。