CE QU'IL FAUT SAVOIR SUR RUST LANG avec Benjamin Coenen 

C'est clair, l'assembleur pour microcontrôleur, c'était une école de rigueur !

Exact, le type Option vient bien d'OCaml, et on voit clairement l'influence d'OCaml dans la syntaxe de Rust !

Bonjour Christian, pourquoi il te semble que je sois perdu dans mon explication ? Quand je parle de référence counting au début c'est pour rebondir sur ce que Damien me dit. En effet le reference counting ne fait pas partie du 101 de la gestion mémoire en Rust puisque c'est pour un usage un peu plus avancé. Par exemple si on utilise des Rc ou des Arc, ce n'est pas la seule façon de le faire et c'est pour ça que j'indique que cela passe par des types wrappers. Par défaut Rust alloue tout sur la stack, cloné n'est pas un crime comme tu l'indiques. A comprendre aussi que le but du podcast n'était pas de rentrer en détails sur comment Rust fonctionne, j'essaie de rendre l'explication simple et macro pour ne pas perdre les gens et prendre 1h sur le sujet pour l'expliquer, ce que d'ailleurs je fais dans cette conf ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-YuHoujk8SUc.html que je t'invite à regarder si ça t'intéresse car là le but c'est de comprendre comment Rust gère sa mémoire. Alors oui j'essaie de faire de la vulgarisation, et quand damien me demande "est ce que c'est que c'est validé à la compilation qu'une référence est release ?" je réponds à la question ni par oui ou par non. Car là si on suit la conversation on parle des références venant du référence counting (donc Arc, Rc) et pas des références en mode borrow (& et &mut) et donc ce qui implique que Rc et Arc eux sont bien vérifiés au runtime et non à la compilation. Contrairement à & et &mut qui sont des réferences ou le borrow checker intervient. C'est d'ailleurs pour cela que j'enchaine sur le borrow checker. Concernant les lifetimes je n'ai pas réussi à retrouver la partie ou je les aborde. Peut être que je les ai abordé en expliquant qu'avant il fallait souvent les indiquer soit même, maintenant depuis NLL dans le compilateur c'est beaucoup plus simple donc comme tu le soulignes on a rarement besoin de recourir aux lifetimes sauf dans des cas plus avancés. Concernant tes propos sur l'optimisation précoce, je vois qu'on est en phase, j'en parlais justement dans une de mes précédentes confs, je t'invite à y jeter un oeil si ça t'intéresse ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-YZgNz1FETR0.html Mesurer est la clé. N'hésite pas à me dire si tu as d'autres incompréhensions je reste disponible. Encore une fois cette vidéo n'est pas là du tout pour t'apprendre à vraiment comprendre comment fonctionne Rust mais plutôt en parler et expliquer un peu ses spécificités.

@@Sportingboybe25 ouahhh quelle reponse! Je vois que tu connais bien le sujet. J'aime beaucoup Rust, mais la gestion mémoire n'est pas évident à expliquer. La doc de Rust est bien faite, mais en ce qui concerne les différentes possibilités, et les combinaisons possibles que proposent la librairie std, on est vite perdu, et on a des fois du mal à savoir ce qu'il faut utiliser suivant notre besoin.

@@christianf1480 j’espère avoir pu te répondre du mieux que je pouvais. Je sais que je ne suis pas toujours très bon pédagogue sauf lorsque je suis préparé (par exemple pour mes talks je m’y reprends à plusieurs fois et je teste différentes versions pour voir comment je peux mieux expliquer les choses). Au plaisir d’échanger avec toi de nouveau à l’avenir :)

Comme tu le dis bien, il vaut mieux se concentrer sur les vrais goulots d’étranglement plutôt que d’ajouter des complexités inutiles dès le départ.

C’est tout à fait ça ! En Rust, le système de borrow checking est entièrement résolu à la compilation, donc aucun coût supplémentaire n’est introduit au runtime.

Pourtant, avec l’évolution de l’écosystème (ES6, TypeScript, Node.js, etc.), JS a gagné en maturité et en structure. Mais c'est vrai que cette "renaissance" du langage n’efface pas la frustration des premiers temps, où on avait l’impression de coder "dans la douleur".

C'est un peu frustrant au début, mais ça paie à long terme en réduisant les bugs et les comportements imprévus.