将元素添加到列表中，然后将其反转

Question

我是 learning Haskell，正在尝试理解列表。

从研究到将元素添加到列表中，您通常会这样做：

let numbers = [4,8,15,16,23,42] 
numbers ++ [56]

但要引用this answer:

如果您需要这样做，通常有更好的方法来构建 你的算法。例如，您可以按相反的顺序构建您的list （在开头添加元素），最后只调用reverse。

代码：

let numbers = [23,43,56]
let newNumbers = 69:numbers
reverse newNumbers

输出：

[56,43,23,69]

问题：

1. 根据引用的答案，我编写的代码是否正确？
2. 我想更好地理解术语，我可以说我正在向list 的head 添加元素吗？据我了解，每一个新元素都是第一个元素，当我写head newNumbers时返回的值。

Answer 1

您需要区分链表数据结构和您使用链表实现的任何类似列表的数据类型。你可以做两件事来修改链表：在链表中添加一个新的头，并删除当前的头（如果链表不为空）。

引用所谈到的用例对于队列数据类型很常见：您可以添加到一端并从另一端移除。您可以使用 两个 链接列表来实现这一点，方法是向一个列表添加新元素并从另一个列表中删除元素。队列的实现负责根据需要进行反转，以确保您在删除之前插入的所有其他项目之前永远不会删除项目。

data Queue a = Queue [a] [a]

-- Put new elements on the incoming list.
addToQueue :: a -> Queue a -> Queue a
addToQueue x (Queue incoming outgoing) = Queue (x:incoming) outgoing

-- Take elements from the outgoing list, whose elements are stored
-- in the reverse order that they were added to the incoming list
-- previously.
removeFromQueue :: Queue a -> (a, Queue a)
removeFromQueue (Queue [] []) = error "Cannot remove from empty queue"
removeFromQueue (Queue incoming (x:xs)) = (x, Queue incoming xs)
removeFromQueue (Queue incoming []) = removeFromQueue (Queue [] (reverse incoming))

（我们不关心处理从空队列中删除的好方法；只需将其称为错误并保留它。）

添加到传入列表和从传出列表中删除很容易。棘手的部分是我们如何以及何时将项目从传入列表传输到传出列表。我们只在传出列表为空时这样做，当它为空时，我们立即传输整个传入列表，并在此过程中将其反转。换句话说，我们正在反向构建传入列表， 但仅在必要时才将其反转，而不是在添加每个项目之后。

摊销分析可用于表明虽然reverse 可能很慢，但它可以通过之前和之后的快速操作数量来平衡。