Rust Unsafe Code Review: Invariants, Tests, and Documentation

Una sesión práctica de dos horas sobre revisión de código inseguro (Unsafe Code) en Rust, centrada en invariantes, pruebas y documentación. Se utiliza Rust como contexto de implementación, mientras que la lección principal se mantiene en los fundamentos de la ingeniería de software, la fiabilidad, las pruebas y la claridad operativa.

Audiencia: desarrolladores de nivel inicial e intermedio que buscan una sesión de ingeniería práctica, no un recorrido por el lenguaje.

Resultados:

• Explicar los límites prácticos de la revisión de código inseguro en Rust
• Aplicar invariantes en un pequeño ejemplo práctico
• Aplicar pruebas en un pequeño ejemplo práctico
• Aplicar documentación en un pequeño ejemplo práctico

Formato: dos horas con un breve recorrido de encuadre, un ejemplo concreto, discusión sobre compensaciones y una lista de verificación final para la práctica.