D est un langage avec une syntaxe de type C et un typage statique.Il combine pragmatiquement l'efficacité, le contrôle et la puissance de modélisation avec la sécurité et la productivité du programmeur.La commodité D permet d'écrire de gros fragments de code sans spécifier de types redondants, dans le style des langages dynamiques.Pourtant, l'inférence statique déduit des types et d'autres propriétés de code, offrant le meilleur des mondes statique et dynamique.La gestion automatique de la mémoire permet d'obtenir un code sûr, simple et robuste.D prend également en charge la gestion des ressources étendues (alias l'idiome RAII) et les instructions de portée pour le code transactionnel déterministe qui est facile à écrire et à lire.Les tableaux, tranches et plages linéaires et associatifs intégrés rendent la programmation quotidienne simple et agréable pour les tâches petites et grandes.... Le pouvoir Le meilleur paradigme est de ne pas en imposer un au détriment des autres.D offre un polymorphisme classique, une sémantique de valeur, un style fonctionnel, des génériques, une programmation générative, une programmation contractuelle, etc., tous harmonieusement intégrés.D offre une approche innovante de la concurrence avec de vraies données immuables, la transmission de messages, pas de partage par défaut et un partage mutable contrôlé entre les threads.Des scripts simples aux projets de grande envergure, D est à la hauteur des besoins de n'importe quelle application: tests unitaires, masquage d'informations, modularité raffinée, compilation rapide, interfaces précises.L'efficacité D se compile naturellement en code natif efficace.D est conçu de telle sorte que le code le plus "évident" soit rapide et sûr.À l'occasion, une fonction peut avoir besoin d'échapper aux limites de la sécurité de type pour une vitesse et un contrôle ultimes.Pour de tels cas rares, D offre des pointeurs natifs, des transtypages de type, l'accès à n'importe quelle fonction C sans aucune traduction intermédiaire, et même un assembleur en ligne.Les attributs modulaires @safe, @trusted et @system permettent au programmeur de décider au mieux des compromis sécurité / efficacité d'une application particulière, et de faire vérifier la cohérence par le compilateur.