Data.Key与Control.Lens.Indexed的关系

Question

在keys和Lenss库中分别有Keyed和FunctorWithIndexed 类。

它们的成员函数mapWithKey和imap似乎很相似，除了keys是使用类型族制定的，而lens使用函数依赖项。

什么时候应该偏爱其中一个呢？为什么lens不使用keys，是因为类型推断吗？有没有一些有趣的发展历史？作为一个库编写者，我应该同时为Keyed f和FunctorWithIndex i f容器编写变体吗？

Answer 1

从keys包自述文件中-

实际上，这个包在很大程度上包含在lens包中，但由于它的依赖项要简单得多，所以暂时对其进行了维护。