Great post, though languages that compile to C (e.g. Nim) are probably even better at interfacing with C/C++ than D. I'm sure D is #1 aside those though.
I would not trust such language to have a precise semantic. There is way too much undefined behavior in C for that.