Происходит проверка: не может построить бесконечный тип? - PullRequest
Новая
       23

Происходит проверка: не может построить бесконечный тип?

0 голосов
/ 06 февраля 2011

Я пытаюсь написать функцию, которая, учитывая два дерева, представляющих изображения, выведет другую булеву "маску" дерева квадратов со значением True для пикселя, если оба дерева дерева имеют одинаковый цвет в соответствующей позиции, и False иначе.

Я получаю эту ошибку: 

Occurs check: cannot construct the infinite type: a = QT a
  Expected type: QT (QT a)
  Inferred type: QT a
In the second argument of `mask', namely `c2'
In the first argument of `Q', namely `(mask a c2)'

и не могу понять, почему.Функция: 

data (Eq a, Show a) => QT a = C a | Q (QT a) (QT a) (QT a) (QT a)
    deriving (Eq, Show)

mask :: (Eq a, Show a) => QT a -> QT a -> QT Bool
mask q1 q2 = m q1 q2
    where
    m (C c1) (C c2) = C (c1 == c2)
    m (Q (C a) (C b) (C c) (C d)) (Q (C e) (C f) (C g) (C h))
        | and $ zipWith (==) [a, b, c, d] [e, f, g, h] = C True
        | otherwise = Q (mask a e) (mask b f) (mask c g) (mask d f)
    m (Q a b c d) (C c2)   = Q (mask a c2) (mask b c2) (mask c c2) (mask d c2)
    m c@(C _) q@(Q _ _ _ _) = mask q c
    m (Q a b c d) (Q e f g h) = Q (mask a e) (mask b f) (mask c g) (mask d h)

Ответы [ 2 ]

2 голосов
/ 06 февраля 2011

c2 имеет тип a, но маска требует аргумент типа QT a.Вы должны использовать шаблон @, как в строке ниже: 

m (Q a b c d) c2@(C _)   = Q (mask a c2) (mask b c2) (mask c c2) (mask d c2)

Я думаю, что предыдущая строка также имеет ту же проблему.

1 голос
/ 06 февраля 2011

Вы не совсем спрашивали об этом, но .. эта строка: 

m (Q (C a) (C b) (C c) (C d)) (Q (C e) (C f) (C g) (C h))

Это просто ...

Много лет назад я и друг научились программировать на бейсике.Он создал очень классную игру космических кораблей.Я сказал ему, что он должен добавить больше космических кораблей, и это будет круче.Он сказал, что это тяжелая работа.Оказывается, он не знал о массивах и имел дублирование кода для каждого из 8 кораблей на экране.

Пожалуйста создайте более чистый код, что-то вроде этого: 

data SplitTree a = Leaf a | SplitNode [SplitTree a]
  deriving (Eq, Show)

mask :: Eq a => SplitTree a -> SplitTree a -> SplitTree Bool
mask (Leaf x) (Leaf y) = Leaf (x == y)
mask (SplitNode xs) (SplitNode ys)
  | and $ zipWith (==) xs ys = Leaf False
  | otherwise = SplitNode $ zipWith mask xs xs

(я не уверен на 100%, что это то, что вы пытались сделать, но я мог или не мог преднамеренно внести некоторые простые ошибки в этот код, поскольку мне не нравится делать домашнюю работу)

Написание хорошего кода облегчает его получение.Если это не правильно, то ошибки легче найти.

Трудно помочь вам с этим беспорядком.Самый простой способ исправить такой беспорядок - это переписать.Разве это не пустая трата времени?

Прежде чем вы решите небольшую проблему, связанную с неработающим кодом, пожалуйста, решите огромную проблему беспорядка.Я и другие испытывали много страданий, поддерживая не поддерживаемый код, , пожалуйста , попробуйте сделать хороший код.

...