Haskell Data.Key和Control.Lens.index之间的关系

键

和lens`库中分别有和类

它们的成员函数

mapWithKey

和

imap

似乎相似，只是

keys

是使用类型族表示的，而

lens

使用函数依赖项

---

什么时候应该选择一个或另一个？为什么

lens

不使用

键

，是因为类型推断吗？是否有一些有趣的发展历史？作为一名库编写者，我是否应该从

键

程序包自述中为

键f

和

带索引I f容器的functor编写变体？
-

实际上，这个包在很大程度上被
lens
包所包含，但由于它具有更简单的依赖关系，所以现在仍对其进行维护

从
键
程序包自述文件-

实际上，这个包在很大程度上被
lens
包所包含，但由于它具有更简单的依赖关系，所以现在仍对其进行维护

好问题！我没有马上想到答案。我得坐下来想一想，也许用铅笔把它画出来。@phadej
Zip
looksme@BenjaminHodgson列表的
Zip
和
Applicative
功能截然不同。我提出了一个缩小范围的法律，完成了
Zip
implementatons:很好的问题！我没有马上想到答案。我得坐下来想一想，也许用铅笔把它画出来。@phadej
Zip
looksme@BenjaminHodgson列表的
Zip
和
Applicative
功能截然不同。我提出了一项法律来缩小实施范围：