The recently-revealed "Rust" appears to be your salvation: http://wiki.github.com/graydon/rust/language-faq http://wiki.github.com/graydon/rust/language-faq Wr

The recently-revealed "Rust" appears to be your salvation: http://wiki.github.com/graydon/rust/language-faq http://wiki.github.com/graydon/rust/language-faq Written by Mozilla employees, and very much like Go, except that shared state is immutable by default, no global GC, and no null pointers. It does have fine struct layout control, RAII always, and type-parametric user code (purely structural too!). It does have a real module system for grownups, which even if it doesn't preclude your fetish for #include, it will at least make you feel bad about it.