Valen présente un nouveau vérificateur d'emprunt flexible conçu pour résoudre les défis de sécurité mémoire. Il combine l'emprunt groupé avec le comptage de références et les références générationnelles. Contrairement à Rust, Valen utilise un type unique de référence d'emprunt et se souvient où pointent les références, permettant un accès complexe aux données. Le système prend en charge l'interopérabilité avec le code Rust et vise à être aussi simple que la collecte de déchets tout en conservant la puissance de la vérification d'emprunt. Cette approche résout le conflit partagé-xor-mutable en permettant aux références de coexister avec la mutabilité sous conditions contrôlées.
L'emprunt groupé, proposé à l'origine par Nick Smith, a été relancé après avoir été abandonné pour Mojo. Il a depuis influencé des langages comme Carbon de Google, Ante, Plecra, Zeta et Fang. Valen intègre ce concept avec l'approche de Vale et la compatibilité Rust. Le compilateur suit les origines des références pour garantir la sécurité mémoire sans règles de propriété strictes. Cette flexibilité pourrait redéfinir la façon dont les langages modernes équilibrent performance et sécurité.
Source: Hacker News · Résumé par HeadlinesBriefing