haskell - 双感叹号有什么用？

Question

在 Data.ByteString.Internal 中，ByteString 有构造函数

PS !!(ForeignPtr Word8) !!Int !!Int 

这两个感叹号在这里是什么意思？我搜索了一下，发现 (!!) 可用于索引列表 (!!) :: [a] -> Int -> a .

Answer 1

这不是实际 Haskell 源代码的一部分，而是 Haddock 如何呈现未装箱数据类型的(未记录的)功能。见 https://mail.haskell.org/pipermail/haskell-cafe/2009-January/054135.html :

2009/1/21 Stephan Friedrichs <...>:

Hi,

using haddock-2.4.1 and this file:

module Test where

data Test
    = NonStrict Int
    | Strict !Int
    | UnpackedStrict {-# UNPACK #-} !Int

生成的文档如下所示:

data Test
Constructors
 NonStrict Int
 Strict !Int
 UnpackedStrict !!Int

注意双“!”在最后一个构造函数中。这不是故意的
行为，是吗？


这是 GHC pretty-print 未装箱类型的方式，所以我认为 Haddock
应遵循相同的约定。嗯，也许黑线鳕应该有一个
其文档中关于语言扩展的章节，带有
引用 GHC 文档。这样使用的语言是
记录最少。但不确定在这种情况下是否有帮助，因为“!!”
可能没有记录在那里。

也许我们根本不应该显示拆箱注释，因为它们是
一个实现细节，对吧？我们可以显示一个“!”反而，
表明论证是严格的。

大卫