# What optimizations does the Ocaml compiler do when converting a typed AST to byte code?

**URL:** <https://discuss.ocaml.org/t/what-optimizations-does-the-ocaml-compiler-do-when-converting-a-typed-ast-to-byte-code/2673>\
**Category:** Learning\
**Created:** [October 5, 2018, 7:16pm UTC](https://discuss.ocaml.org/t/what-optimizations-does-the-ocaml-compiler-do-when-converting-a-typed-ast-to-byte-code/2673 "2018-10-05T19:16:44Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![JohnWu](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/johnwu/32/1351_2.png) [@JohnWu](https://discuss.ocaml.org/u/JohnWu)\
**Post date:** [October 5, 2018, 7:16pm UTC](https://discuss.ocaml.org/t/what-optimizations-does-the-ocaml-compiler-do-when-converting-a-typed-ast-to-byte-code/2673/1 "2018-10-05T19:16:44Z")

</div>

I know the native code compiler uses a lot of optimizations such as Flambdas to optimize native code. I am just curious if there are different optimizations that are being used to convert OCaml code to byte code.