And Reason is just another syntax for OCaml, so it can compile to everything OCaml can, that includes "native".