haskell - Haskell：我的程序没有进行转换

Question

我制作了一个简单的程序来处理我已经实现的队列数据结构。这是我的代码

transf :: Queue -> [Char]
transf emptyQueue = []  
transf queue = [front queue] ++ transf (dequeue queue)

队列在哪里

newtype Queue = Q [Char] deriving (Show)

emptyQueue :: Queue
emptyQueue = Q []

queueIsEmpty :: Queue -> Bool
queueIsEmpty (Q []) = True
queueIsEmpty (Q _) = False

enqueue :: Char -> Queue -> Queue
enqueue x (Q q) = Q (q ++ [x])

dequeue :: Queue -> Queue
dequeue (Q (_:xs)) = Q xs
dequeue (Q []) = error "dequeue: empty queue"

front :: Queue -> Char
front (Q (x:_)) = x
front (Q []) = error "front: empty queue"

我的程序不会将队列转换为字符串。哪里有问题？提前致谢。

Answer 1

transf emptyQueue = []

这emptyQueue只是您的参数的名称。您不是针对全局内容的模式匹配emptyQueue。您不能对这样的变量进行模式匹配 - 只能针对构造函数。

您必须编写transf (Q [])以匹配空队列，但请注意，您的整个函数可以简单地定义为transf (Q xs) = xs.