OCaml fits your bill. Super fast compile times and also very fast runtime.