Par planter je veux dire : signal fatal genre SIGSEGV... ou SIGILL.
Note bien que SIGSEGV c'est le cas idéal du code qui fait n'importe quoi avec la mémoire : ça veut dire que ton OS s'en est rendu compte. Il y a bien plus insidieux, c'est quand ton programme corrompt la mémoire silencieusement dans ton dos, et là t'es dans la mouise. Le système de types de Rust ne dit rien à propos d'un signal fatal, et plus généralement que ton programme est correct par rapport à une spécification qui n'existe que dans la tête du développeur (quand elle existe). Par contre, il te garantit le même genre de sûreté que les langages à GC, sans avoir de GC lui-même, ce qui n'a rien à voir avec 'planter'.
[^] # Re: Pas encore de gestion des erreurs d'allocation mémoire
Posté par Perthmâd . En réponse à la dépêche Conférence GStreamer 2017 : Oxydation de GStreamer. Évalué à 5.
Note bien que SIGSEGV c'est le cas idéal du code qui fait n'importe quoi avec la mémoire : ça veut dire que ton OS s'en est rendu compte. Il y a bien plus insidieux, c'est quand ton programme corrompt la mémoire silencieusement dans ton dos, et là t'es dans la mouise. Le système de types de Rust ne dit rien à propos d'un signal fatal, et plus généralement que ton programme est correct par rapport à une spécification qui n'existe que dans la tête du développeur (quand elle existe). Par contre, il te garantit le même genre de sûreté que les langages à GC, sans avoir de GC lui-même, ce qui n'a rien à voir avec 'planter'.