> I'd like a programming language that is statically compiled, with good performance, garbage collection, and decent support for abstraction.

Well if you really are tired of "better C" (in varying guises) then pull the fire alarm and go off-piste with OCaml or Haskell