Получение ошибки «Аргумент без переменной типа в ограничении: Integral [a2]» - PullRequest
Новая
       8

Получение ошибки «Аргумент без переменной типа в ограничении: Integral [a2]»

0 голосов
/ 09 сентября 2018

Я пытаюсь реализовать алгоритм Луна, используя следующий код: 

luhn :: Int -> Bool
luhn x = (tail $ show (foldl (\acc x -> acc + (read x :: Int)) 0 (foldr doEncrypt [] $ zip [0..] (show x)))) == "0"
    where
        doEncrypt (i,y) acc = if not(even i)
            then head(((uncurry (+) . (`divMod` 10) . (*2)) y)) : acc
            else (head y) : acc

Теперь я застрял со следующей ошибкой: 

• Non type-variable argument in the constraint: Integral [a2]
  (Use FlexibleContexts to permit this)
• When checking the inferred type
    doEncrypt :: forall a1 a2.
                 (Integral a1, Integral [a2]) =>
                 (a1, [a2]) -> [a2] -> [a2]
  In an equation for ‘luhn’:
      luhn x
        = (tail
             $ show
                 (foldl
                    (\ acc x -> acc + (read x :: Int))
                    0
                    (foldr doEncrypt [] $ zip [0 .. ] (show x))))
            == "0"
        where
            doEncrypt (i, y) acc
              = if not (even i) then
                    head (((uncurry (+) . (`divMod` 10) . (* 2)) y)) : acc
                else
                    (head y) : acc

Я вижу, что ошибка говорит о том, что вторая часть кортежа (a2) является "аргументом переменной типа". Тем не менее, Хаскелл, похоже, идентифицирует этот a2 аргумент как Integral, тогда как на самом деле это Char. Как я могу сказать Haskell, что это Char и что Haskell не должен больше беспокоиться о типе этой переменной? Или есть что-то еще, я не понимаю, что вызывает эту ошибку?

Edit: Когда я удаляю (head y) и заменяю его на y, вместо этого я получаю следующую ошибку: 

• Couldn't match type ‘Char’ with ‘[Char]’
  Expected type: [String]
    Actual type: [Char]
• In the third argument of ‘foldl’, namely
    ‘(foldr doEncrypt [] $ zip [0 .. ] (show x))’
  In the first argument of ‘show’, namely
    ‘(foldl
        (\ acc x -> acc + (read x :: Int))
        0
        (foldr doEncrypt [] $ zip [0 .. ] (show x)))’
  In the second argument of ‘($)’, namely
    ‘show
       (foldl
          (\ acc x -> acc + (read x :: Int))
          0
          (foldr doEncrypt [] $ zip [0 .. ] (show x)))’

1 Ответ

0 голосов
/ 09 сентября 2018

Там, где несколько вещей не так с моим решением, но, наконец, следующий код работает! 

luhn :: Int -> Bool
luhn x = (tail $ show (foldl (\acc x -> acc + (digitToInt x)) 0 (foldr doEncrypt [] $ zip [0..] (show x)))) == "0"
    where
        doEncrypt (i,y) acc = if not(even i)
            then (head $ show(((uncurry (+) . (`divMod` 10) . (*2)) (digitToInt y)))) : acc
            else y : acc

Большое спасибо @WillemVanOnsem за ваши указатели, без этого я бы, наверное, не решил!

...