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

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# 不存在 runtime，因此我们不能对其进行任何计算，因此seq也不做任何事情。