D je jazyk se syntaxí typu C a statickým psaním.Pragmaticky kombinuje účinnost, kontrolu a modelovací sílu, bezpečnost a produktivitu programátorů.Pohodlí D umožňuje psaní velkých fragmentů kódu bez redundantního určování typů ve stylu dynamických jazyků.Přesto statická inference odvozuje typy a další vlastnosti kódu a dává to nejlepší ze statického i dynamického světa.Automatická správa paměti umožňuje bezpečný, jednoduchý a robustní kód.D také podporuje řízenou správu zdrojů (aka RAII idiom) a příkazy rozsahu pro deterministický transakční kód, který lze snadno zapsat a přečíst.Vestavěné lineární a asociativní pole, řezy a rozsahy činí denní programování jednoduchým a příjemným pro malé i velké úkoly.... Síla Nejlepší paradigma je neuložit jeden na úkor druhých.D nabízí klasický polymorfismus, hodnotovou sémantiku, funkční styl, generika, generativní programování, smluvní programování a další - vše harmonicky integrované.D nabízí inovativní přístup ke shodě, který obsahuje skutečná neměnná data, předávání zpráv, žádné sdílení ve výchozím nastavení a řízené mutovatelné sdílení napříč vlákny.Od jednoduchých skriptů po velké projekty, D má šířku na míru s potřebami jakékoli aplikace: testování jednotek, skrytí informací, rafinovaná modularita, rychlá kompilace, přesná rozhraní.Efektivita D se přirozeně kompiluje do efektivního nativního kódu.D je navržen tak, aby většina „zjevných“ kódů byla rychlá a bezpečná.Někdy může být nutné, aby funkce unikla omezením bezpečnosti typu pro maximální rychlost a kontrolu.Pro takové vzácné případy nabízí D nativní ukazatele, typy obsazení, přístup k jakékoli funkci C bez jakéhokoli zasahujícího překladu a dokonce vložený assembler.Modulové atributy @safe, @trusted a @system umožňují programátorům co nejlépe rozhodovat o kompromisech týkajících se bezpečnosti a účinnosti konkrétní aplikace a nechat zkontrolovat konzistenci kompilátoru.