如何强制OCaml内联函数？

Question

是否有可能告诉OCaml编译器内联函数,而不是希望它的优化过程本身会这样做？

Answer 1

您可以添加一个属性以始终内联函数

let f x = x [@@inline always]
(* which is equivalent to *)
let f x = x [@@inline]

或强制将特定调用与另一个属性内联

let a = (f[@inlined]) 1

如果要检查由flambda做出的内联决策,可以使用该inlining-report标志.