Haskell数据类型定义中"!"符号的含义是什么？

你看到的!是严格求值注解，是Haskell里用来控制求值策略的语法。

核心含义 #

Haskell默认是惰性求值：数据构造器的字段会等到被实际使用时才会计算（以未求值的thunk形式存在）。而在字段前加!，会强制该字段在构造数据实例的时候就立即完成求值，而不是延迟到需要的时候。

实际差异示例 #

假设我们定义两个版本的类型：

-- 惰性版本
data LazyFoo = LazyFoo Bar (Int -> Int)
-- 严格版本
data StrictFoo = StrictFoo !Bar !(Int -> Int)

• 创建LazyFoo X (\x -> x + 1)时，lambda表达式不会立刻计算，直到你调用它的时候才会处理；
• 而创建StrictFoo X (\x -> x + 1)时，X和lambda表达式会在构造时就被求值为弱头范式（WHNF）——虽然lambda本身是函数无法完全求值，但会确保它是一个有效的函数值，而非未解析的thunk。

你的代码场景 #

在你给出的示例里，Bar和Baz都是枚举类型（X/Y、A/B），这些值本身就是立即求值的，所以严格注解在这里的效果不明显。但如果字段是复杂计算表达式（比如!(sum [1..1000])），加!就会在构造Foo的时候直接算出sum的结果，而非等到调用show或其他函数用到该字段时才计算。

常见使用场景 #

• 避免内存中堆积大量未求值的thunk，减少内存占用、提升后续操作性能；
• 明确控制代码求值顺序，避免意外惰性导致的性能问题或调试困难；
• 确保某些带有副作用的操作（不建议在数据字段中放入IO操作，但特殊场景下适用）在构造数据时就执行。

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