Un récent article de blog d'un développeur chinois a suscité des discussions en affirmant que C# représente une 'troisième voie' dans la conception des langages de programmation. Contrairement aux langages qui exigent des développeurs une expertise approfondie en preuves formelles, C# intègre la vérification, la sécurité mémoire et la discipline des types directement dans l'infrastructure du langage et de l'exécution. Cette approche fait du code correct le chemin par défaut, plutôt qu'une exception. L'article suggère que cette philosophie pragmatique permet aux équipes d'atteindre des normes de sécurité élevées sans sacrifier la productivité. Pour les responsables techniques et les architectes, cette perspective est précieuse lors de l'évaluation des écosystèmes linguistiques pour des projets à long terme. Elle remet en question l'hypothèse selon laquelle la sécurité doit se faire au détriment de l'expérience du développeur, offrant une vision nuancée de la manière dont la conception du langage peut façonner la qualité du logiciel.
Une analyse de la philosophie de conception de C# comme voie médiane équilibrée entre rigueur académique et productivité des développeurs.