D زبانی با نحو C و تایپ استاتیک است.این عمل گرایانه ، کارایی ، کنترل و قدرت مدل سازی را با ایمنی و بهره وری برنامه نویس ترکیب می کند.راحتی D اجازه می دهد تا قطعات بزرگ کد را بدون مشخص کردن انواع زائد ، به سبک زبان های پویا بنویسید.با این وجود استنتاج استاتیک انواع و خصوصیات کد را استنباط می کند و بهترین از دنیای استاتیک و دینامیک را به دست می دهد.مدیریت خودکار حافظه ، کد ایمن ، ساده و قوی را ایجاد می کند.D همچنین از مدیریت منابع محدود شده (با اصطلاح اصطلاح RAII) و عبارات دامنه برای کد معامله قطعی که نوشتن و خواندن آن آسان است پشتیبانی می کند.ساخته شده ، آرایه های خطی و انجمنی ، برش و دامنه ، برنامه نویسی روزانه را برای انجام کارهای کوچک و بزرگ ساده و دلپذیر می کند.... قدرت بهترین پارادایم این است که یکی را به ضرر دیگران تحمیل نکنید.D پلی مورفیسم کلاسیک ، معنای ارزش ، سبک عملکردی ، عمومی ، برنامه نویسی تولیدی ، برنامه نویسی قرارداد و موارد دیگر را ارائه می دهد - همه با هم هماهنگ هستند.D یک رویکرد نوآورانه برای همزمانی با داده های غیرقابل تغییر واقعی ، ارسال پیام ، عدم اشتراک گذاری به طور پیش فرض و اشتراک گذاری قابل کنترل کنترل شده در موضوعات ارائه می دهد.از اسکریپت های ساده گرفته تا پروژه های بزرگ ، D دارای وسعت و مقیاس با نیازهای هر برنامه است: آزمایش واحد ، مخفی سازی اطلاعات ، مدولار تصفیه شده ، تدوین سریع ، رابط های دقیق.کارایی D به طور طبیعی با کد بومی کارآمد کامپایل می شود.D به گونه ای طراحی شده است که بیشتر "آشکار" کد سریع و ایمن باشد.در بعضی مواقع ممکن است یک تابع برای سرعت و کنترل نهایی از محدودیت های ایمنی نوع فرار کند.در چنین موارد نادری D نشانگرهای بومی ، نوع ریخته گری ، دسترسی به هر عملکرد C را بدون هیچ گونه مداخله در ترجمه و حتی مونتاژ درون خطی ارائه می دهد.ویژگی های مدولارsafe ،trusted وsystem به برنامه نویس اجازه می دهد تا بهترین گزینه را درباره تجارت ایمنی / کارایی یک برنامه خاص تصمیم بگیرد و کامپایلر را برای بررسی ثبات در نظر بگیرد.