需要帮助存储列表的前一个元素 (Haskell)

Question

我目前正在处理一项任务。我有一个名为gamaTipo 的函数，它将元组的值转换为我的教授先前定义的数据类型。 问题是：为了gamaTipo 工作，它需要接收一些前面的元素。 gamaTipo 的定义如下：gamaTipo :: Peca -> (Int,Int) -> Peca 其中Peca 是我的教授定义的数据类型。

我需要做的是创建一个接受元组列表并将其转换为Peca 数据类型的函数。我苦苦挣扎的部分是获取列表的前一个元素。即：假设我们有一个列表[(1,2),(3,4)]，其中列表(1,2) 的第一个元素始终对应于Dirt Ramp（由教授定义的数据类型）。我必须创建一个函数convert :: [(Int,Int)] -> [Peca]，为了计算元素(3,4)，我需要先将(1,2)翻译成Peca，并将其用作前一个元素来翻译(3,4)

这是我迄今为止尝试过的：

    updateTuple :: [(Int,Int)] -> [Peca]
    updateTuple [] = []
    updateTuple ((x,y):xs) = let previous = Dirt Ramp
                                in (gamaTipo previous (x,y)): updateTuple xs

虽然我没有收到此代码的错误消息，但预期的输出不正确。如果我的问题不容易理解，我也很抱歉，英语不是我的母语，我很难表达自己。先感谢您！ :)

Answer 1

如果我理解正确，你的程序需要有一个类似这样的基本结构：

updateTuple :: [(Int, Int)] -> [Peca]
updateTuple = go initialValue
  where
    go prev (xy:xys) =
        let next = getNextValue prev xy
        in prev : (go next xys)
    go prev [] = prev

基本上，这里发生的事情是：

• updateTuple 是根据辅助函数 go 定义的。 （请注意，“辅助函数”不是标准术语，只是我决定这样称呼它）。
• go 有一个额外的参数，用于存储之前的值。
• go 的实现可以利用之前的值。
• 当go 递归时，递归调用可以将新计算的值作为新的“先前值”传递。

这是 Haskell 中相当常见的模式：如果递归函数需要一个额外的参数，那么可以定义一个具有该额外参数的新函数（通常命名为 go）。那么原函数可以用go来定义。