pardon my ignorance but is Ocaml performant enough? Why isn't something like this coded in say, C++?