Ne pouvais pas faire correspondre le type `Int' avec un réel de type `Integer'

J'ai le texte suivant du code Haskell:

-- Problem 69

import ProjectEuler

phi :: Integer -> Integer
phi n = n * product [p - 1 | p <- primeDivisors n] `div` product [p | p <- primeDivisors n]
-- primeDivisors n is a list of the prime divisors of n

maxRatio :: (Int, Int, Double) -> (Int, Int, Double) -> (Int, Int, Double)
maxRatio t1@(_, _, x) t2@(_, _, y)
  | x > y = t1
  | otherwise = t2

main = print (foldl
                maxRatio
                (0, 0, 0.0)
                [(n, phi n, ratio) | n <- [2..max], let ratio = fromIntegral n / (fromIntegral (phi n))]
              )
    where max = 1000

qui donne l'erreur suivante:

Couldn't match expected type `Int' with actual type `Integer'
In the expression: n
In the expression: (n, phi n, ratio)
In the third argument of `foldl', namely
  `[(n, phi n, ratio) |
      n <- [2 .. max],
      let ratio = fromIntegral n / (fromIntegral (phi n))]'

Je soupçonne que, dans le triple (0, 0, 0.0) les 0 sont de type Int. Est 0 toujours de type Int ou est ghci en déduire le type de Int dans ce cas? Si plus tard, comment puis-je le forcer à être de type Integer à la place? Ou est-il autre chose que la cause de cette erreur?

OriginalL'auteur Code-Apprentice | 2012-09-05

  1. 16

    Haskell peut généralement déduire le type de littéraux numériques tels que les 0 que n'importe quel type approprié vous avez besoin. C'est parce qu'il sait quelles sont les fonctions que vous les transmettre; si j'ai une fonction phi :: Integer -> Integer, et j'appelle phi 0, Haskell sait que c' 0 doit avoir été un Integer. C'est aussi bien si je appeler une fonction pho :: Int -> Int avec pho 0; que particulier 0 est déduit d'une Int.

    Cependant Int et Integer sont de types différents, et il n'y a pas qu'une seule façon particulière 0 peut être transmis à la fois phi et pho.

    Votre problème est tout simplement que les tuples qui maxRatio traite sont typés (par vous) (Int, Int, Double), mais qu'un tel n-uplet est construit comme (n, phi n, ratio). Depuis phi prend et retourne Integer, le n dans l'expression doit être une Integer. Mais cela ne fonctionne pas pour maxRatio, de sorte que vous obtenez le message d'erreur.

    Selon le type que vous en fait voulu (Int ou Integer), tout ce que vous devez faire est de changer le type de signature de phi ou maxRatio afin qu'ils travaillent avec le même genre de numéro. Haskell décider que votre écrit littéralement 0s est ce type numérique est nécessaire pour faire ce travail, fourni il en est un qui peut le faire fonctionner!

    Notez que le message d'erreur messaged spécifiquement vous a dit qu'il était n dans (n, phi n, ratio) qui devait être un Int et était en fait un Integer. Le (0, 0, 0.0) tuple n'est jamais mentionné. Souvent des erreurs de type proviennent ailleurs que là où le compilateur points (vu que tout le compilateur peut faire est de repérer que les différentes chaînes de l'inférence de produire incompatible exigences sur le type de quelque chose, avec aucun moyen de savoir quelle partie de l'ensemble du processus est "mal"), mais dans ce cas, il fait très bien.

    Haskell obtient une (assez justifié) mauvaise réputation de mystérieux messages d'erreur, mais il peut aider beaucoup à partir de ce que le compilateur vous dit, c'est le problème et essayer de comprendre pourquoi des faits, il se plaint de survenir à partir de votre code. Ce sera douloureux au début, mais vous aurez à développer rapidement une alphabétisation de base dans Haskell messages d'erreur (au moins les plus simples) qui va vous aider à repérer ces types d'erreurs très rapidement, ce qui rend le compilateur d'une très puissant de détection des erreurs système pour vous.

    Merci pour l'explication claire. Je pensais que 0 était polymorphe dans son genre, mais mon noob yeux ne pouvaient pas voir une autre raison pour l'inférence de type qui a donné à l'erreur. Bien sûr, j'ai tout simplement raté mon explicite de la déclaration de type pour maxRatio.

    OriginalL'auteur Ben

  2. 4

    n est déduit que Int en raison du type de maxRatio, bien que le type de phi dit qu'il devrait être Integer. La solution la plus simple est de changer le type de maxRatio à utiliser Integer ou même juste a puisqu'il ne touche pas à ces valeurs.

    Doh! J'ai raté ce détail. Je suis de revoir certaines de code que j'ai écrit tout à l'arrière, probablement avant j'ai appris à utiliser Integer presque exclusivement.

    OriginalL'auteur hammar

  3. 3

    C'est soit déduit, de sorte que vous pouvez simplement modifier le type de signature de maxRatio. Encore, si jamais vous avez besoin de changer une explicite Int à un Integer, utilisez toInteger :: (Integral a) => a -> Integer

    J'ai l'habitude d'utiliser fromIntegeral, surtout quand je suis en utilisant length. Est-il une différence entre l'utilisation de fromIntegral plutôt que toInteger?
    Je pense que la seule différence est que fromIntegral pouvez retourner n'importe quel Num type, donc c'est un peu moins clair lors de la lecture de ce type, il va être déduit que.
    en fait, fromIntegral est défini comme fromIntegral = fromInteger . toInteger -- donc, c'est certainement juste un compromis entre la flexibilité et la lisibilité

    OriginalL'auteur amindfv

  4. 1

    Votre type de signatures sont incompatibles - remplacer Int avec Integer tout au long de.

    OriginalL'auteur AndrewC