haskell - 为什么 `seq` 中没有 `accursedUnutterablePerformIO` ？

Question

为什么要实现accursedUnutterablePerformIO(又名inlinePerformIO)

accursedUnutterablePerformIO :: IO a -> a
accursedUnutterablePerformIO (IO a) = case a realWorld# of (# _, r #) -> r

不是

accursedUnutterablePerformIO :: IO a -> a
accursedUnutterablePerformIO (IO a) = case a realWorld# of (# s, r #) -> s `seq` r

?

Answer 1

简单地说，realWorld# doesn't exist runtime ，因此我们无法对其进行任何计算，因此 seq 也不会执行任何操作。