Nous aurions une fonction polymorphe msort avec un paramètre de type t.
We would have a polymorphic function msort with a type parameter t.
En général, cela suffit à comprendre et à corriger l'erreur qui s'était glissée dans la fonction polymorphe.
Generally speaking, this allows a proper understanding of the error in the definition of the polymorphic function.
Les arguments et résultats polymorphes sont liés entre eux et sont résolus dans un type de données spécifique quand une requête faisant appel à une fonction polymorphe est analysée.
Polymorphic arguments and results are tied to each other and are resolved to a specific data type when a query calling a polymorphic function is parsed.
Le cas le plus fréquent où une définition n'est pas assez polymorphe se produit lors de la définition d'une fonction par application partielle d'une fonction polymorphe plus générale.
The more common case to get a "not polymorphic enough" definition is when defining a function via partial application of a general polymorphic function.
Une fonction polymorphe peut opérer sur de nombreux types de données différents, les types de données spécifiques étant déterminés par les types des données réellement passés lors d'un appel particulier de la fonction.
A polymorphic function can operate on many different data types, with the specific data type(s) being determined by the data types actually passed to it in a particular call.
Comment déboguer ma fonction polymorphe ?
How to debug my polymorphic function?
Nous aurions une fonction polymorphe msort
We would have a polymorphic function msort
Le type de données réel géré par une fonction polymorphe peut varier d'appel en appel (voir la Section 33.2.1).
The actual data types handled by a polymorphic function can vary from call to call, as discussed in Section 35.2.5.
Comment tracer une fonction polymorphe ?
How to trace a predefined function?