Haskell中为何要系统性地标记记录字段为strict？

这真是个问到点子上的问题——我刚学Haskell的时候也纠结过，明明默认惰性是Haskell的特色，为啥要反过来给所有记录字段加!强制严格？结合实践和你提到的《Haskell Programming from First Principles》里的规则，我给你理几个核心原因：

• 避免悄无声息的空间泄漏
  默认惰性的记录字段会以未求值的thunk形式存在，要是你在循环、批量处理或者高频创建Foo实例的场景下用，这些thunk会像雪球一样越积越多，占用大量内存不说，后续求值时还可能触发栈溢出。严格字段会在构造Foo的时候就完成求值，从根源上避免这种“隐形”的内存问题。

• 贴合Haskell的最佳实践准则
  你提到的书中那句规则特别关键，必须划重点：

  遵循的好规则是：spine懒加载，叶子节点严格！
  这里的“spine”指的是数据结构的骨架（比如列表的(:)构造器链），保持spine惰性能保留Haskell按需计算的优势（比如支持无限列表）；而记录字段属于“叶子节点”，把它们设为严格，能在不牺牲核心惰性优势的前提下，把求值的控制权握在自己手里。

• 获得可预测的性能表现
  惰性求值的最大痛点之一就是求值时机不可控——你永远不知道某个thunk会在什么时候突然被触发求值，可能在你最意想不到的地方导致性能波动甚至卡顿。严格字段会在数据构造时就完成计算，性能特征更透明，调试和优化起来也省心很多。

• 降低调试复杂度
  要是字段是惰性的，遇到bug时你得费劲追踪：某个值到底有没有被求值？是不是因为thunk没触发导致逻辑异常？尤其是涉及副作用的场景（比如IO操作），惰性会让副作用的执行时机完全不可预测。严格字段的话，所有字段值在创建Foo时就已经确定，逻辑链条更清晰，排查问题也快。

举个直观的写法对比：
默认惰性记录：

data Foo = Foo { bar :: Bar, quux :: Quux }

推荐的严格记录：

data Foo = Foo { bar :: !Bar, quux :: !Quux }

当然，这也不是绝对的铁律——如果某个字段确实需要惰性（比如它是一个用来延迟计算的无限序列，或者能通过惰性实现更高效的按需加载），那完全可以保留默认行为。但系统性地把记录字段设为严格是默认的安全实践，因为绝大多数场景下，我们不需要字段的惰性，反而会被它的“隐形坑”搞得头疼。

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