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

为什么要实施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

？

最佳答案

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

关于haskell - 为什么在`accursedUnutterablePerformIO`中没有`seq`？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/35474169/