主页 / coding / 问题 / 76919825
Accepted
Piskator
Asked: 2023-08-17 16:41:24 +0800 CST

Haskell 中的 scanl 如何在 Either 列表上工作 - 两种情况的比较

  • 772

我正在尝试使用scanlHaskell 中的函数。我已经缩小了我的问题范围，可以在以下两种情况下描述，可以使用 Haskell 中的普通库在解释器中运行，该库包含（请注意，我不一定对这里的 Monadic 值感兴趣，但只是scanl如何用于scanl确保类型一致性）：

为什么以下预先列出Right value的工作有效：

*Defs> scanl (\x acc -> x ++ acc) [] [[(Right 1)], [(Right 2)]]  
[[],[Right 1],[Right 1,Right 2]]

当这不起作用并导致以下错误消息时：

*Defs> scanl (\x acc -> [x] ++ acc) [] [(Right 1), (Right 2)]

<interactive>:36:35: error:
    * Couldn't match expected type `[[a]]'
                  with actual type `Either a0 b0'
   ...
haskell

1 个回答

  1. Best Answer

    我认为你已经交换了值和累加器。考虑以下类型scanl：

    ghci> :t scanl
scanl :: (b -> a -> b) -> b -> [a] -> [b]

    累加器值的类型为b。它是第一位的。

    如果您交换第二个示例中的参数，它会起作用：

    ghci> scanl (\acc x -> acc ++ [x]) [] [(Right 1), (Right 2)]
[[],[Right 1],[Right 1,Right 2]]

    您还可以交换第一个示例的参数，这也有效：

    ghci> scanl (\acc x -> acc ++ x) [] [[(Right 1)], [(Right 2)]]
[[],[Right 1],[Right 1,Right 2]]
    • 4

相关问题