替换Prism中Choice为Strong所得类棱镜结构的名称与实用性探究

通用名称 #

你得到的s -> (t, a)并没有像Lens、Prism那样的标准光学名称。它本质上是把Prism定义里的Choice换成Strong后，由于b参数完全无法参与运算而退化出的类型——Prism依赖Choice（基于Either）实现“匹配/构造”的双向能力，而Strong（基于(,)）在这里只能单向提取，反向构造的路径直接丢失了，所以它算不上是一种标准的双向光学类型。

是否有用？ #

这个类型在一些特定场景下能派上用场：

• 封装“提取信息+转换输入”的逻辑：比如你需要从配置s里提取某个配置项a，同时生成一个预处理后的配置t，用这个类型可以把这两步逻辑打包成一个单一函数，让代码更整洁。
• 作为Reader s (t, a)的别名，在需要批量处理这类“读取+转换”操作时，能提供轻量的抽象，比如组合多个这样的函数来提取多组信息并完成多步转换。

不过要注意，它的能力用普通函数组合也能实现，光学的优势并不突出。

实用抽象的可能性 #

由于b参数完全被忽略，这个类型的抽象能力非常受限：

• 无法实现类似Prism的review操作（从b构造t），因为根本没有从b到t的映射路径。
• 作为Profunctor Optic，它和其他标准光学类型（比如Lens、Prism）的兼容性很差，很难进行有意义的组合。
• 如果想让它具备更强的抽象能力，可以调整定义，让t依赖于b，比如改成s -> (b -> t, a)——这其实就是标准Lens的同构形式之一，此时你就能复用Lens的所有抽象（比如set、view、组合操作等）。

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