获取 Applicative Traversable 的索引而不使用 dummy答案

【问题标题】：Get indices of Applicative Traversable without dummy获取 Applicative Traversable 的索引而不使用 dummy
【发布时间】：2015-03-21 06:48:23
【问题描述】：

假设我有一些v，既是Applicative，也是Traversable。如何获得具有v 索引的v？举一个具体的例子，考虑Linear 中的V3。我要V3 0 1 2。

一种方法是将mapAccumL 与假人一起使用，例如：

snd $ T.mapAccumL 
    (\idx _ -> (idx + 1, idx)) 
    0 (pure "") :: V3 Int

但是(pure "") dummy 感觉不雅。我们怎样才能以更优雅的方式做到这一点？

【问题讨论】：

【解决方案1】：

如果您只使用Applicative 和Traversable 执行此操作，您将无法使用pure 逃脱。它是那些类中唯一可以为您提供类型值而没有拥有的函数。

此外，您的假人决定了您构建的值的形状。考虑一种类型，例如列表，其中并非所有值都具有相同的形状：您如何在构造 [0]、[0,1] 或 [0,1,2] 之间进行选择？（基于pure 的假人会给你第一个。）

【讨论】：