Rust Unsafe Code Review: Invariants, Tests, and Documentation

Une session pratique de deux heures sur la revue de code « Unsafe » en Rust, axée sur les invariants, les tests et la documentation. Rust est utilisé comme contexte d'implémentation, tandis que la leçon principale porte sur les fondamentaux du génie logiciel, la fiabilité, les tests et la clarté opérationnelle.

Public : développeurs débutants et intermédiaires souhaitant une session d'ingénierie pratique, et non une présentation du langage.

Résultats attendus :

• Expliquer les limites pratiques de la revue de code « Unsafe » en Rust
• Appliquer les invariants dans un petit exemple concret
• Appliquer les tests dans un petit exemple concret
• Appliquer la documentation dans un petit exemple concret

Format : deux heures comprenant une brève introduction, un exemple concret, une discussion sur les compromis et une liste de contrôle finale pour la mise en pratique.