la théorie des types, qui n'est qu'une branche parmi d'autres en théorie des langages (juste un peu à la mode sur reddit et quelques forums, en partie grâce à Rust).
Perso, c'est peut-être le principal avantage que je trouve à Rust. Mais bon ça casse pas 3 pattes à un canard non plus. Rust supporte les types algébriques et les type-classes mais il n'y a pas de HKT comme en Haskell ni de module comme en OCaml.
[^] # Re: Pourquoi Rust ?
Posté par nokomprendo . 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é à 2.
Perso, c'est peut-être le principal avantage que je trouve à Rust. Mais bon ça casse pas 3 pattes à un canard non plus. Rust supporte les types algébriques et les type-classes mais il n'y a pas de HKT comme en Haskell ni de module comme en OCaml.