通過前奏的源代碼帶來了奇怪

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可以被賦予任何類型，所以它與任何類型一樣是一個很好的定義。