Re: En...age de mouche

Du coup c'est un gros "sauf". Et dans la mesure où Rust est utilisable pour écrire des bibliothèques comme si elle était écrite en C, on comprend la présence du concept de pointeur (je comprends qu'on veuille les proscrire dans certains cas spécifiques, mais je préfère dans le cas général l'approche où on garde sous surveillance les quelques blocs unsafe qui traînent).

Je crois qu'on ne s'est pas compris. Les pointeurs existent en Ada, c'est ce que l'on appelle des Access et leur utilisation est très encadrée.
Par contre, la référence, telle qu'elle est écrite en C++ et en Rust avec un &, n'existe pas.

Et ce que je disais, c'est que tant que tu ne précises pas explicitement que tu passes un paramètre de type Access sur quelque chose, c'est le compilateur qui décide s'il y aura copie ou non... Sauf dans le cas des types tagués (en gros, des objets au sens instance de classe) où pour des raisons évidentes d'héritage potentiel, c'est obligatoirement une référence qui est passée (mais sans que l'on ne le précise)

Rust est utilisable pour écrire des bibliothèques comme si elle était écrite en C, on comprend la présence du concept de pointeur

Comme je l'ai dit, le concept de pointeur existe bel et bien en Ada et pour ce qui est de l'interfaçage avec le C, cela fait même l'objet d'une section spéciale dans le standard

Les macros peuvent faire des choses qui ne sont pas possible avec des fonctions (en Rust

Effectivement, ça a l'air hyper puissant