数据类型中的感叹号符号有什么作用？

Question

7

我是Haskell的新手，今天我阅读了OpenGL源代码，发现了这个：

data VertexArrayDescriptor a =
   VertexArrayDescriptor !NumComponents !DataType !Stride !(Ptr a)
   deriving ( Eq, Ord, Show )

- Maik Klein

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Pogrindis · Accepted Answer

它旨在使在Haskell中编写严格程序更加容易，并使开发人员更方便地避免出于便利而被迫变得“懒惰”或非严格。

以以下示例为例：

> data PNat = PZero | PSuc !Nat deriving Show

感叹号（bang）表示PSuc在其参数上是严格的，即PSuc bottom = bottom（其中bottom是一个非终止表达式）。

它用于指示模式的严格性：

f !x !y = x + y

这是一个关于Haskell语言中Bang模式的有用参考。Bang模式可以在代码中强制求值，以提高性能并减少懒惰计算的开销。如果你正在学习Haskell编程，这个参考将帮助你理解Bang模式的概念和用法。