浏览前奏的源代码会带来奇怪的现象

Question

我正在寻找定义,seq并遇到了这种奇怪.为什么所有这些函数都有相同/相似的定义？

seq :: a -> b -> b
seq = let x = x in x

inline :: a -> a
inline = let x = x in x    

lazy :: a -> a
lazy = let x = x in x

源代码中有更多此定义.这是怎么回事？

Answer 1

发生的事情是这些函数无法在Haskell中实现,但它们应该出现在文档中.由于haddock需要每个签名的语法正确(和良好类型)定义,因此源必须包含虚拟定义.此外,在它们被定义的位置(在ghc-prim包中),error(并因此undefined)尚不可用,因此seq = error "Not implementable in Haskell"不能使用更明显,因此是圆形定义.

Answer 2

这些定义是一个诡计:它们由GHC运行时原始提供.事实证明,无限循环let x = x in x可以被赋予任何类型,因此它与任何类型一样好.