J'ai récemment découvert le cadre de Microsoft pour les contrats de code. J'ai lu un peu de documentation et je me suis constamment demandé: "Pourquoi voudrais-je jamais faire cela, car il ne fait pas et souvent ne peut pas effectuer une analyse statique." Maintenant, j'ai déjà une sorte de style...
J'apprends les contrats de code dans .NET et j'essaie de comprendre l'idée de constructeurs purs. La documentation des contrats de code indique: Toutes les méthodes appelées dans un contrat doivent être pures; c'est-à-dire qu'ils ne doivent mettre à jour aucun état préexistant. Une méthode pure est...
Je suis un programmeur quelque peu défensif et un grand fan des contrats de code Microsofts. Maintenant, je ne peux pas toujours utiliser C # et dans la plupart des langues, le seul outil dont je dispose est les assertions. Je me retrouve donc généralement avec un code comme celui-ci: class {...
Je suis un grand fan de rédiger des assertions, des contrats ou tout autre type de chèques disponibles dans la langue que j'utilise. Une chose qui me dérange un peu est que je ne sais pas quelle est la pratique courante pour traiter les chèques en double. Exemple de situation: j'écris d'abord la...
Je fais un projet de recherche où je recherche les options pour gérer les changements dans une architecture de microservice événementielle. Donc, disons que nous avons obtenu une application où nous avons obtenu quatre services différents. Chacun de ces services possède sa propre base de données...