En fait ça devient tellement léger que tu peux te permettre de t'en servir partout. Par exemple pour destructurer un Optional. Et tu gagne en puissance quand tu as un système de type qui te permet d'ajouter de l'information de type à de la donnée à moindre coût.
Pour continuer sur Optional aujourd'hui en java il s'agit d'un objet qui contient une référence vers ta donnée. Tu as donc un objet alloué en plus et une indirection. Certains langages permettent d'avoir une sorte d'annotation de type. À ce moment là, l'aspect optional n'est plus qu'une information de type qui n'a pas à modifier la mémoire (on pourrait même envisager de faire du type erasure) au final tu a un code qui va avoir la sécurité d'un optional sans sur coût.
[^] # Re: Pourquoi Rust ?
Posté par barmic 🦦 . En réponse au lien Rewrite it in Rust : au delà du meme (Google finance la réécriture en Rust de certains logiciels lib. Évalué à 4.
En fait ça devient tellement léger que tu peux te permettre de t'en servir partout. Par exemple pour destructurer un Optional. Et tu gagne en puissance quand tu as un système de type qui te permet d'ajouter de l'information de type à de la donnée à moindre coût.
Pour continuer sur Optional aujourd'hui en java il s'agit d'un objet qui contient une référence vers ta donnée. Tu as donc un objet alloué en plus et une indirection. Certains langages permettent d'avoir une sorte d'annotation de type. À ce moment là, l'aspect optional n'est plus qu'une information de type qui n'a pas à modifier la mémoire (on pourrait même envisager de faire du type erasure) au final tu a un code qui va avoir la sécurité d'un optional sans sur coût.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll