Haskell，递归数据和模式匹配

Question

这是我第一次使用递归data 。 我无法解决此问题：

data Sseq = S Sseq | E deriving (Show)

testElem = (S, S, E, S)

maxSseq_hlp :: Int -> Int -> [SSeq] -> Int
maxSseq_hlp curmax prevmax [] = max curmax prevmax
maxSseq_hlp curmax prevmax ((S x):xs) = maxSSeq_hlp (curmax+1) prevmax xs
maxSseq_hlp curmax prevmax (E:xs) = maxSSeq_hlp 0 (max curmax prevmax) xs

maxSseq :: [SSeq] -> Int
maxSseq list = maxSseq_hlp 0 0 list

函数maxSseq应该使用一个辅助函数返回列表testElem中最长的序列S，该函数记住前面序列中计数的S，但给我以下错误

Couldn't match expected type `[Sseq]'
            with actual type `(Sseq -> Sseq,
                               Sseq -> Sseq,
                               Sseq,
                               Sseq -> Sseq)'
In the first argument of `maxSseq', namely `testElem'
In the expression: maxSseq testElem
In an equation for `it': it = maxSseq testElem

我不明白问题出在哪里，请您能帮我吗？

Answer 1

一次又一次地确定：

元组与列表

您的testElem实际上不是一个列表-它是一个元组-因此您必须写[..]而不是(..)

建设者

您的Sseq可以是E或S s ，其中s本身必须再次是Sseq因此您的testElem将无法以这种方式工作（这就是为什么您收到错误消息，指出您使用了函数Sseq -> Sseq （这些是S ）

我会建议：

testElem :: [Sseq]
testElem = [S E, S (S (S E)), E, S (S E)]

这应该根据您期望的maxSseq行为将（IMO）评估为3或S (S (SE)) （请参阅下文）

使用它，然后重试（我想这是某种形式的家庭作业）

PS

您将看到的所有其他错误基本上都来自拼写错误的内容-最有可能是SSeq VS Sseq ;）

更多提示：

• 您的函数将不起作用（计数时最多消耗S之一）
• 您可以尝试通过从(S x)::xs重新插入x来解决此问题
• 但是我认为您真正想做的是先实现len :: Sseq -> Int函数，然后以某种方式巧妙地使用它
• 根据您的描述，您真正想要的是maxSseq :: [Sseq] -> Sseq因此，如果您坚持使用自己的代码，则必须记住最大值。 序列不是（仅）它的长度
• 如果你有兴趣，你可以用我的前提示这一点很容易使用，以解决比较和maximumBy

我会在一个小时左右的时间内附加完整的解决方案，但您应该首先自己尝试一下。

解决方案（如果您仍在尝试，请不要阅读）

好的，这是修补解决方案的方法：

maxSseq_hlp :: Int -> Int -> [Sseq] -> Int
maxSseq_hlp curmax prevmax [] = max curmax prevmax
maxSseq_hlp curmax prevmax ((S x):xs) = maxSseq_hlp (curmax+1) prevmax (x:xs)
maxSseq_hlp curmax prevmax (E:xs) = maxSseq_hlp 0 (max curmax prevmax) xs

这就是我建议您是否需要找到的最大值。 长度元素 ：

import Data.List (maximumBy)
import Data.Ord (comparing)

len :: Sseq -> Int
len E = 0
len (S x) = 1 + len x

maxSseq :: [Sseq] -> Sseq
maxSseq = maximumBy (comparing len)