在他们关于profunctor optics的论文中，Pickering 等人。声明
术语“profunctor”来自范畴论，尽管许多范畴结构在翻译中丢失了。
这对我来说似乎很奇怪而且有点独特，因为我知道的其他代数结构（对、幺半群、函子、类别等）在 Haskell 和 PureScript 等语言中“似乎”没有遭受同样的命运——用引号是因为我很高兴被证明是错误的。
前段时间，我和 Profunctor 家族玩了一会儿，发现他们非常容易处理，尤其是在光学方面。在看到它们出现在 monad 转换器的上下文中后，我的兴趣再次被激发。我需要重新观看几次，因为我不了解细节，但原则上它是非常清楚的。所以我不禁想知道：
- 这些属性是什么？为什么它们不体现在语言中？
- 如果可能的话，需要付出什么努力才能让他们参与进来？
- 这样做有什么好处？特别是，他们能帮助解决 Ed 在演讲结束时提到的问题吗？