Haskell模式同义词：隐式双向形式为何不支持严格性注解？

一、为什么隐式双向模式不支持BangPatterns？ #

Haskell用户指南明确规定：像pattern StrictJust a = Just !a这类隐式双向模式同义词不允许使用严格性注解（BangPatterns），但显式拆分的双向写法是合法的：

pattern StrictJust a <- Just !a where
  StrictJust !a = Just a

核心原因有两点：

• 语义一致性的设计原则：隐式双向模式的初衷是提供「匹配逻辑和构造逻辑完全对称」的简洁写法，开发者看到pattern P x = E时，能直观认为“用P x匹配就是解构E的结构，用P x构造就是生成E”。如果允许在隐式写法中加入BangPatterns，左右侧的!a语义会出现偏差——左侧的!a是匹配时要求Just内的参数严格求值，右侧的!a是构造时要求传入的参数严格，这种不对称性会破坏隐式模式的可读性，违背其设计初衷。
• 早期实现的规则约束：编译器对隐式模式的语法检查，最初是复用了「模式匹配规则」和「构造器定义规则」的交集。而BangPatterns仅在这两个规则的各自范围内合法，不在交集里，因此被禁止。虽然后续技术上可以修改实现，但显式写法已经能满足需求，没必要破坏隐式模式的简洁性。

二、能否允许左侧使用任意右侧合法语法，匹配时忽略？ #

比如你提到的pattern HeadC x | xs <- [] = x:xs，想让它默认构造单元素列表，这种想法本质是要让模式的匹配逻辑和构造逻辑彻底解耦，但目前Haskell的设计不支持，原因如下：

• 可读性严重下降：其他开发者看到HeadC x这个模式，无法直观判断它匹配的是单元素列表，左侧隐藏的xs <- []逻辑没有任何直观关联，会大幅增加代码的理解成本。
• 语法歧义风险：如果允许左侧加入任意右侧语法，编译器无法区分哪些是匹配时需要执行的逻辑，哪些是构造时需要忽略的逻辑。比如pattern Foo x y | x > y = (y, x)，很难明确是匹配时要求x > y，还是构造时自动交换x和y的顺序。
• 违背模式匹配的核心语义：Haskell的模式是用来解构值的，而非生成默认值。你想要的效果其实可以用更清晰的显式写法实现：

pattern HeadC x <- x:[] where
  HeadC x = x:[]

这种写法一目了然，完全不需要额外的“忽略语法”规则。

从语言扩展的角度，理论上可以新增扩展支持这种写法，但Haskell社区一贯遵循「显式优于隐式」的原则，这种写法带来的便利性远不足以抵消其增加的复杂度和可读性问题，因此目前没有支持计划。

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