The biggest reason is because of type inference. Ocaml generally stays away from type coercions or overloading. That said, Ocaml does have some voodoo magic fo

The biggest reason is because of type inference. Ocaml generally stays away from type coercions or overloading. That said, Ocaml does have some voodoo magic for type-safe printf, so in the specific case of printing you can use a single function if you want let name = "Buttons840" in Printf.printf "Hello, %s!\n" name