Juste pour préciser que le fait d'avoir des opérateurs différents pour la même opération n'est pas justifié par l'inférence de types en soit. On peut enrichir le système de typage de façon à rendre possible l'utilisation du même opérateur pour plusieurs types.
Dans le cas d'Ocaml, je crois que c'est plutôt un choix. D'autres langages avec inférence de type ont fait un choix différent, comme Haskell par exemple.
[^] # Re: l'INRIA ne soutient pas suffisamment OCaml
Posté par djrom . En réponse à la dépêche Sortie de TOM 2.3. Évalué à 5.
Dans le cas d'Ocaml, je crois que c'est plutôt un choix. D'autres langages avec inférence de type ont fait un choix différent, comme Haskell par exemple.