Michael DOUBEZ a écrit :
....
>
> Pas vraiment. Spécialiser sur R(*T)(P) est spécialiser sur une valeur;
> pour avoir une valeur, on est bien obligé d'avoir un type.
>
> Imagine que square ait plusieurs spécialisations:
> double square(double)
> float square(float)
> int square(int)
>
> Se contenter de:
> compose_fct<square,twice>
> ne permettrait pas de choisir la bonne valeur.
>

Ah oui, je n'avais pas pensé à ça. C'est donc logique qu'on ne puisse pas
simplifier plus.
Merci.

Seb