The D programming language continues to advance and show signs of promise as a high-quality computer programming language that may eventually prove competition for C. Last month there was the 2013 D programming language conference where a lot was discussed.
For a starter into the D language, there's the keynote presentation. As a quick primer, D is meant to be easy to read and understand code, provably correct, and of industrial quality. By provably correct they mean it provides provable memory safety, provable purity and immutability, and contract programming.
rest here