In my experience, OCaml seems to perform worse than Go in most interesting singlethreaded cases, and obviously it completely lacks a good parallelism story. I can't speak to Chez Scheme or MLton, but I may check them out in the future. Thanks for the recommendation!