Il faut voir ce que ça recouvre en pratique. Le borrow checker de Rust est assez compliqué, et j’ai du mal à le voir rentrer dans le scope d’un langage qui se veut aussi simple. S’ils implémentent l’équivalent de std::unique_ptr + move semantics de C++, ça rentre tout à fait dans la case "memory safe pointer type", mais ça ne rentre pas du tout dans la case "memory safe comme Rust".
[^] # Re: On m'avait dit que c'était impossible alors il l'a fait
Posté par Moonz . En réponse au journal Appel à contribution pour un nouveau langage !. Évalué à 5. Dernière modification le 24 mars 2021 à 23:14.
Il faut voir ce que ça recouvre en pratique. Le borrow checker de Rust est assez compliqué, et j’ai du mal à le voir rentrer dans le scope d’un langage qui se veut aussi simple. S’ils implémentent l’équivalent de std::unique_ptr + move semantics de C++, ça rentre tout à fait dans la case "memory safe pointer type", mais ça ne rentre pas du tout dans la case "memory safe comme Rust".