D is an object-oriented, imperative, multi-paradigm system programming language, with an emphasis on convenience (automatic types, dynamic and associative arrays, slices, ranges, garbage collection), power (choice of multiple paradigms, ability to interface with C code, true immutable data, pure functions, integrated unit testing, refined modularity) and efficiency (natively compiled code, emphasis on safety but ability to choose safety-efficiency tradeoffs).

There is a choice of several different compilers for D code.