如何优雅地将柯里化函数应用于Indexed Traversal？

你需求的是将带索引遍历与柯里化函数结合生成结果列表的组合子，Lens库中没有直接和你定义的itoListByOf完全一致的现成组合子，但可以通过现有通用组合子简洁实现需求，或者基于通用组合子推导：

• 利用itoListOf结合map：
  先通过itoListOf获取索引与值的配对列表，再用map转换为目标类型，代码如下：

  map (uncurry f) . itoListOf l $ s
  

  逻辑和你实现的itoListByOf完全等价，只是拆分为两步完成。

• 直接使用ifoldMapOf：
  借助ifoldMapOf的Monoid特性，将每个索引-值对映射为单元素列表后拼接，一步得到结果：

  ifoldMapOf l (\i a -> [f i a]) s
  

  ifoldMapOf是Lens提供的通用带索引折叠组合子，类型为IndexedGetting i m s a -> (i -> a -> m) -> s -> m，这里指定m为[b]即可满足你的需求，通用性很强。

你自己定义的itoListByOf是对ifoldrOf的合理特化，Lens库的设计思路是提供ifoldrOf、ifoldMapOf这类底层通用组合子，让开发者根据具体场景封装特化版本，而非预定义所有可能的特化组合子。

内容的提问来源于stack exchange，提问作者pat