Traversable 概念的术语

Question

为什么我们将结构的翻转称为“序列”，为什么我们要谈论“遍历”和“遍历”？

我正在将这些概念的实现添加到 haskell 中以供讨论...

class (Functor t, Foldable t) => Traversable t where
    {-# MINIMAL traverse | sequenceA #-}

    -- | Map each element of a structure to an action, evaluate these actions
    -- from left to right, and collect the results. For a version that ignores
    -- the results see 'Data.Foldable.traverse_'.
    traverse :: Applicative f => (a -> f b) -> t a -> f (t b)
    traverse f = sequenceA . fmap f

    -- | Evaluate each action in the structure from left to right, and
    -- and collect the results. For a version that ignores the results
    -- see 'Data.Foldable.sequenceA_'.
    sequenceA :: Applicative f => t (f a) -> f (t a)
    sequenceA = traverse id

Answer 1

让我们从考虑fmap开始：

fmap :: Functor t => (a -> b) -> t a -> t b

我们可以将它的作用描述为在t a 中查找所有a 值并将函数应用于它们。请注意，除了无限的结构恶作剧之外，fmap 的实现到达a 值以修改它们的顺序对于最终结果而言并不重要。

现在让我们看看traverse：

traverse :: (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)

与fmap 一样，traverse 也涉及将函数应用于结构中的值（难怪traverse 的前身被称为mapM）。然而，traverse 也会为每个a 值（a -> f b 中的f）产生应用效果，并且它涉及以某种顺序组合这些效果以获得整体f (t b) 结果。通常（即只要f 不是可交换应用程序，例如Maybe），效果的顺序会影响结果。既然如此，任何Traversable 实例都对应于访问结构中的值的特定顺序。 “穿越”这个名称（即，正如 Will Ness 所指出的，“穿越或穿过”）旨在传达这种方向感。

在相关说明中，traverse 可以分解为一个普通映射，该映射会产生效果，然后对这些效果进行排序...

sequenceA :: (Applicative f, Traversable t) => t (f a) -> f (t a)

traverse f = sequenceA . fmap f
sequenceA = traverse id

...因此“序列”名称。

还值得强调的是，traverse 确实捕获了通过结构和在每一站做事的各种方式（参见for 是flip traverse 的名称）。特别是，我们通过选择 Identity 作为 Applicative 函子（即实际上不产生任何效果）来恢复 fmap，并通过选择 Monoid m => Const m 来恢复 foldMap（即类似列表的折叠）。我们不能用traverse 做的事情包括删除、复制或重新排列元素——它不允许像一般折叠/变态那样以任意方式拆除数据结构。使用traverse，我们可以在Traversable 结构中移动，但我们无法重塑它。

Answer 2

这是“to 序列”，而不是“a”。 IE。 "Arrange in a particular order"，这里从左到右。而且是sequence :: Monad m => [m a] -> m [a]的泛化（注意旧的base版本），可能会让名字更明显。