Après, je ne suis pas sûr que ce soit juste un détail : atteindre un niveau de confiance suffisamment élevé pour se porter garant qu'un compilateur aussi complexe que rustc+llvm n'introduit pas de bugs, c'est improbable et, pour l'instant, il n'y a pas de compilateur alternatif plus axé sur la correction, il me semble.
[^] # Re: Pffff
Posté par anaseto . En réponse à la dépêche Rust a 5 ans, rétrospective. Évalué à 3.
Après, je ne suis pas sûr que ce soit juste un détail : atteindre un niveau de confiance suffisamment élevé pour se porter garant qu'un compilateur aussi complexe que rustc+llvm n'introduit pas de bugs, c'est improbable et, pour l'instant, il n'y a pas de compilateur alternatif plus axé sur la correction, il me semble.