Haskell中的grouped expressions指什么？为何要求必须精确对齐？

Haskell的语法规则里，分组表达式指的是同属一个逻辑代码块、没有用显式花括号/分号做边界分隔的表达式序列，是Haskell缩进（layout）规则下的特定概念。
常见的分组表达式场景包括：

• where关键字后绑定的一组函数、值定义
• do记法块里的一串操作语句
• let...in结构里let后的一组绑定项
• case...of结构里of后的一组模式匹配分支

举个最常见的例子：

calc n = a + b
  where
    a = n + 1
    b = n * 2

上面代码里where下方的a = n + 1和b = n * 2就是典型的同组分组表达式，二者同属calc函数的where绑定块。

如果代码里手动写了显式的花括号、分号标记块边界，就不存在layout规则意义上的分组表达式，缩进对齐要求也会失效，比如下面的写法完全合法，不需要考虑对齐：

calc n = a + b where { a = n + 1; b = n * 2 }

这个要求本质是Haskell layout解析机制的硬性规则，核心原因有两点：

• 保障语法解析的确定性：Haskell解析器遇到where/do/let/of这类块起始关键字后，会把下一个非空白代码token的起始列号记录为当前块的基准列。后续代码里：
  • 起始列和基准列完全对齐的token，会被识别为当前块的下一个同组成员
  • 起始列比基准列缩进更深的token，会被识别为上一个同组成员的内部子内容
  • 起始列比基准列缩进更浅的token，会被识别为当前块已经结束，回到上层语法结构解析
    如果同组表达式不对齐，解析器会直接误判代码的归属关系，要么把同组成员错判为子内容，要么提前判定块结束，直接抛出语法错误。比如下面的错误写法里，b的缩进比基准列深，解析器会认为它是a = n + 1的内部内容，直接解析失败：

  -- 错误示例：同组绑定不对齐
  calc n = a + b
    where
      a = n + 1
        b = n * 2
  

• 降低代码阅读成本：精确对齐的规则天然要求同逻辑块的代码保持视觉上的统一缩进，开发者不需要匹配花括号位置，靠缩进就能快速识别代码的层级归属，可读性远高于随意缩进的写法。

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