A more modern C

I'm looking for a C-like language that
1. keeps the pointers;
2. has generic types;
3. has better string handling than C;
4. doesn't make OOP-style for your own programs mandatory;
5. isn't C++.

Is there a better option than Go? It lacks generics.

>>2
D looks really nice. My only concern with it is whether it will survive in the long run. Go has Google and while I know Alexandrescu's work is backed by Facebook I'm not sure how invested Facebook is in D. 
>>5
I use Haskell on the side but I'm looking for an imperative language here.