> There might be room for a language with slower runtime speed (GC?), but as good of a type system as Rust, so long as compile times are much faster.

There is OCaml which compiles very fast in debug mode.