J explicite mon côté sécurité informatique: c est garantir que l on aura pas de Segfault, que la mémoire est libéré au bon moment. Ce que fait Rust en ayant des performances comparable à C (parfois Supérieur) ce qui est meilleur que C++ surtout si on utilise ses fonctionnalités avancées. La performances compte peu pour un programme qui tourne peu ou pas souvent, mais elle prends vite de l importance sur les programmes sollicités. C'est la raison pour laquelle C persiste au top des classements malgré tous ses défauts et la présence de C++, java, Go et autres python et Javascript...
Par contre Rust ne vérifie jamais que si tu additionne 2 nombre positif tu ne va pas dépasser la limite de l entier et te retrouver avec un négatif (ou un nombre plus petit). Il n y a pas de preuve possible en Rust alors qu Ada peut être prouvé je crois. La preuve est complexe à mettre en place (cher) mais utile pour des fusées...
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
[^] # Re: En...age de mouche
Posté par abriotde (site web personnel, Mastodon) . En réponse à la dépêche Sortie de GHDL version 1.0.0. Évalué à 2.
J explicite mon côté sécurité informatique: c est garantir que l on aura pas de Segfault, que la mémoire est libéré au bon moment. Ce que fait Rust en ayant des performances comparable à C (parfois Supérieur) ce qui est meilleur que C++ surtout si on utilise ses fonctionnalités avancées. La performances compte peu pour un programme qui tourne peu ou pas souvent, mais elle prends vite de l importance sur les programmes sollicités. C'est la raison pour laquelle C persiste au top des classements malgré tous ses défauts et la présence de C++, java, Go et autres python et Javascript...
Par contre Rust ne vérifie jamais que si tu additionne 2 nombre positif tu ne va pas dépasser la limite de l entier et te retrouver avec un négatif (ou un nombre plus petit). Il n y a pas de preuve possible en Rust alors qu Ada peut être prouvé je crois. La preuve est complexe à mettre en place (cher) mais utile pour des fusées...
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.