Bonjour,
J'aimerai savoir pourquoi F# type la fonction (+) de la manière suivante:
et non pas quelque chose comme cela:Code:val (+) : int -> int -> int
Ce qui est d'autant plus étrange qu'elle accepte parfaitement l'expression suivante:Code:val (+) : 'a -> 'a -> 'a when 'a : INumerics
et qu'un langage comme haskell dont le comportement de la fonction (+) est similaire, la type de la manière suivante :Code:1.0 + 2.0
Code:(+) :: (Num a) => a -> a -> a