what about kotlin native https://kotlinlang.org/docs/reference/native-overview.html ?
For me Delphi, .NET Native, D are some of the targets to beat in compilation time.
They all share a common trait though, not built on top of LLVM.
F#, Standard ML, OCaml and Haskell also have such strong type systems.