La refactorisation de grands systèmes est risquée, surtout lors du passage à un nouveau langage. Cet article présente une approche pratique utilisant le système de types de Rust pour le typage progressif, où des parties d'un système de stockage distribué sont réécrites progressivement en Rust tout en maintenant l'interopérabilité avec le code existant. L'auteur discute comment les garanties de type fortes de Rust, le modèle de propriété et le système de traits aident à détecter les erreurs à la compilation, réduisant les défaillances à l'exécution. Les techniques clés incluent l'utilisation d'interfaces de fonctions étrangères, de mémoire partagée et de protocoles de sérialisation pour relier les composants anciens et nouveaux. L'étude de cas montre que l'adoption progressive de Rust peut améliorer la sécurité et les performances du code sans une réécriture complète coûteuse.
Comment le système de types de Rust permet un typage progressif pour la refactorisation à grande échelle, démontré par la réécriture d'un système de stockage distribué.