Programming languages that compile into C/C++ source? [closed]
The language Haxe can output to C++, C#, Java, JavaScript, Python(experimental), PHP, Flash and NekoVM.
Vala and Genie are languages that use the GObject type system and compile to C code. I've never used them but they look interesting. GObject is the type system used by GTK but I believe it's separable from GTK.
GHC (the Glasgow Haskell Compiler) used to have an option (-fvia-c) to compile to C.
I believe that starting with v7 however, LLVM is used to generate native code instead of going via an external C compiler.
OOC is very new but quite nice.