Cela dit le borrow checker et l’ownership ne tirent pas leur existence de nulle part, il y a eu des travaux universitaires sur l’utilisation des ressources, ce papier cite les types linéaires, et l’ownership (voir :en:Substructural type system par ex) ou la mémoire basée sur des régions (scope) ? linear regions is all you need qui ont été utilisées dans des langages, sans doute qui sont pas vraiment sortis des labos à l’époque. Il y a 15 ou 20 ans déjà, ça met du temps à percoler et à convaincre une communauté parfois même si les idées sont là.
[^] # Re: Au sujet du « Ça marche du premier coup »
Posté par thoasm . En réponse au journal Intégration d'une fenêtre de debug live en Rust 🦀. Évalué à 5.
Cela dit le borrow checker et l’ownership ne tirent pas leur existence de nulle part, il y a eu des travaux universitaires sur l’utilisation des ressources, ce papier cite les types linéaires, et l’ownership (voir :en:Substructural type system par ex) ou la mémoire basée sur des régions (scope) ? linear regions is all you need qui ont été utilisées dans des langages, sans doute qui sont pas vraiment sortis des labos à l’époque. Il y a 15 ou 20 ans déjà, ça met du temps à percoler et à convaincre une communauté parfois même si les idées sont là.