吹奏楽のソースコードを読むと奇妙な音が出る

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には任意の型を与えることができることが判明しています。