Haskell 類型聲明中的符號“？”是什么意思？

Question

在我對 Haskell 的研究中，我看到了這個符號! 在類型聲明中使用。 看一個例子：

data Foo = MkFoo
  { _bar :: !Bar
    , ...
  }

我的問題是：為什么要使用它，沒有它的聲明有什么區別？

Answer 1

用感嘆號標記的字段在相關構造函數的應用程序現場是嚴格的。 例如，您的數據聲明將與沒有! 但是在您的代碼使用MkFoo的任何地方都編寫以下類型的東西：

bar `seq` MkFoo { _bar = bar }

完整的詳細信息在報告中。