haskell - 通配符上的模式匹配

Question

您好，我正在尝试对通配符模式进行模式匹配，但我需要“捕获”通配符。我正在尝试解析字符串 到 Maybe Int 的列表。

输入
{123,aa,55,66}
输出
[Just 123,Nothing,Just 55.4,Just 66.3]

所以我组合了以下方法:

方法

readDataRaw::String->[Maybe Int]
    readDataRaw (x:xs)=go [] [](x:xs) where
            go _ ls []         = ls
            go small big (x:xs)= case x of
                                  '}'    -> big
                                  ','    -> go [] ((readMaybe small::Maybe Int):big)  xs 
                                   c@(_) -> go [] c:small big xs

错误

parse error on input `->'
   |
66 |                                    c@(_) -> go [] c:small big xs
   |                                          ^^

在最后一个案例中，如何使用 -> 右侧的通配符？

Answer 1

你可以只使用变量标识符，变量不指定任何模式，所以你可以这样写:

readDataRaw::String -> [Maybe Int]
readDataRaw (x:xs) = go [] [](x:xs) where
    go _ ls [] = ls
    go small big (x:xs) = case x of
        '}' -> big
        ',' -> go [] ((readMaybe small::Maybe Int):big)  xs 
        <b>c</b> -> go [] c:small big xs

但是上面有一些错误和不完整的模式。例如，在 readDataRaw 中，您只需在头部指定 (x:xs) 模式，而严格来说，您可能会使用空列表来调用该函数[]。它还与 go 模式中的 (x:xs) 发生“冲突”:这不是问题，因为 Haskell 采用“最接近”的变量，因此定义在th3e go 子句，但它引入了一些困惑。在最后一种情况下(使用 c，您还返回 go [] c :small big xs，它将被解释为 (go [] c) :小大xs这没有多大意义。“重构”实现可能如下所示:

readDataRaw::String -> [Maybe Int]
readDataRaw = go [] [] where
    go _ ls [] = ls
    go small big (x:xs) = case x of
        '}' -> big
        ',' -> go [] ((readMaybe small::Maybe Int):big)  xs 
        <b>c</b> -> go (c:small) big xs

但是，它仍然有点“丑陋”。部分原因是不清楚您想做什么。