Haskell Lens：如何更优雅地基于现有Lens与Prism从A提取Maybe C？

完全不需要手写case分支，依托光学元件的原生组合能力，一行代码就能实现和手写逻辑完全等价的结果，这也是Lens生态下处理嵌套可选结构的标准写法：

a ^? getB . _Just . getC

实现原理 #

整个表达式顺着光学路径逐层穿透，没有任何硬编码的分支判断：

• 从输入值a出发，先通过已定义的getB Lens，定位到值内部存储的Maybe B字段
• 拼接Control.Lens.Prism内置的_Just Prism——这是库自带的、专门用于从Maybe a结构中提取Just分支值的光学元件，会自动跳过Nothing分支
• 最后拼接你自定义的getC Prism，匹配B值中属于C的可穿透分支
• 通过预览运算符^?直接返回Maybe C类型的结果

等价性说明 #

这个写法的运行逻辑和你手写的case分支100%一致：只要任意一层路径穿透失败（也就是getB取到的字段值是Nothing，或是B值不满足getC的匹配规则），最终结果都会自动返回Nothing，和手写逻辑的分支行为没有区别。

相比手写case的优势 #

• 语义链完全连贯：读表达式的过程就是从A到C的路径导航过程，不需要拆分多分支理解
• 可扩展性强：后续如果要在路径上追加新的穿透层（比如再加一层嵌套的Maybe、或是新增字段的Lens），只需要在组合链上追加对应的光学元件即可，不需要修改分支结构
• 组合得到的getB . _Just . getC本身是可复用的光学元件，后续如果要修改对应位置的值、或是遍历匹配到的内容，直接复用这个组合元件即可，不需要重复写穿透逻辑

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