Как заставить 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.