You are right. It's (imho) somewhat strange to merge low level C with some high level concepts, For high abstraction programming there are Lisp, Python, Ruby, Prolog, Haskel...
Actually Lisp has some compilers too so it doesn't have to be slow.
For Python there is the Psyco what can speedup it...