Recientemente me topé con el marco de Microsoft para contratos de código. Leí un poco de documentación y me encontré constantemente preguntando: "¿Por qué querría hacer esto, ya que no y a menudo no puede realizar un análisis estático?". Ahora, ya tengo una especie de estilo de programación...