Fonctions surchargées dans les modules

Question

Étant donné que les fonctions au curry ne peuvent pas être surchargées et que les modules ne peuvent pas avoir d'éléments, cela signifie-t-il qu'il n'y a pas moyen d'avoir une fonction surchargée dans un module? La réponse semble évidente, mais je veux m'assurer qu'il n'y a pas quelque chose que je néglige.

Answer 1

Correct, pas de fonctions surchargées dans les modules (plus généralement, aucun moyen de surcharger une fonction let-bound). Si vous dites f, alors f a toujours un seul type, alors que si vous dites o.f, cela peut faire référence à un groupe de surcharges (résolu par le contexte environnant).