You have a few options there: * Rust is often thought of as occupying a similar niche to Go, because it can deploy single native binaries and has pretty high-l

You have a few options there: * Rust is often thought of as occupying a similar niche to Go, because it can deploy single native binaries and has pretty high-level abstractions. Often known for slow compile times, though. * OCaml has one of the best type systems and compilers out there, with almost full type inference and also compiles to pretty efficient native binaries. Compiler is known to be fast. * D is also an established, fast and efficient compiler, a powerful language with good libraries and tooling. * You could definitely try out Haskell, it is pretty mainstream nowadays and there are lots of great learning resources.