The ML family... you get a type-safe language and all the benefits of functional programming... and both OCaml and SML are only between 1-2 times slower than C.

And you get the benefit of the static type checker, which catches 90% of bugs.

I know pg doesn't like static type checking, but I respectfully disagree.