Re: Typage structurel

Ai-je bien compris ?

Oui c'est cela, mais plus proche des packages génériques : c'est tout une section de code qui peut être paramétrée, pas seulement une fonction. Mais les concepts n'ajoutent rien de nouveau là-dessus, c'est ce qu'on toujours fait les template. Les concepts c'est juste un système de types pour les template. Le langage des template est interprété par le compilateur et, avant, lorsqu'il y avait une problème lors de l'instantiation d'une template, il y a avait l'équivalent d'une stack trace en guise de message d'erreur, qui pouvait faire 3km de long si le code utilisé était très générique. Là, ils auront des messages plus clairs du au système de type.

Peut-on faire des trucs encore plus forts avec les concepts que juste spécifier les opérations nécessaires ?

Je ne crois pas, mais on peut les utiliser en dehors des templates. Par exemple, pour contraindre le mécanisme d'inférence de type :

Sortable auto x2 = f(y);

ne compilera que si la fonction f retourne une valeur que l'on peut trier.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.