Ask HN: Safe languages available on all major platforms?

I'm thinking about an application that I'd like to deploy on all major platforms (OSX, Linux, Windows, iOS, Android). My go to language is C++, but I'd like to use a type- and memory-safe language (goodbye, buffer overflows). What are my realistic options? Rust, golang and ocaml come to mind, although it doesn't look like there is official ocaml support for iOS/Android. Any other good options I'm overlooking? Any experience you can share? How is integration with native libraries and services (e.g., UI, networking, file system)? Thanks!