在我對 Haskell 的研究中,我看到了!型別宣告中使用的符號。看一個例子:
data Foo = MkFoo
{ _bar :: !Bar
, ...
}
我的問題是:為什么使用它,與沒有它的宣告有什么區別?
uj5u.com熱心網友回復:
用感嘆號標記的欄位在相關建構式的應用程式站點上是嚴格的。例如,您的資料宣告將與沒有的完全相同,!但是在您的代碼使用的任何地方撰寫以下型別的東西MkFoo:
bar `seq` MkFoo { _bar = bar }
完整的細節在報告中。
轉載請註明出處,本文鏈接:https://www.uj5u.com/qukuanlian/365066.html
