permanent substitute for C

can we ever move on from C?

>>8
You mean like Typed Racket?

http://docs.racket-lang.org/ts-guide/

Looks pretty terrible if you ask me. There's quite a bit of new syntax here which looks like it would grossly complicate macros and code generation.