Lens,记录访问器如何,例如
http://hackage.haskell.org/packages/archive/lens/3.9.0.2/doc/html/Control-Lens-Type.html#t:Lens
与变形有关?例如
你能让前者成为后者的实例吗?
我最近经常使用镜头。在 Haskell 编程中,镜头在许多方面都至关重要。它们是用于记录访问、有状态程序的工具……为了更好地理解镜头,我开始阅读“香蕉、镜头、信封和铁丝网”论文。在“INSIDE 206-105”的帮助下,我慢慢地重新实现了 Haskell 中的 -morphisms。然后我想到了上面的问题。