haskell - System.IO的官方源代码在哪里？

Question

System.IO的官方来源在哪里？

我看了here但它不在那里。

当点击source时它说它不在这里。我很困惑，因为 this 上的其他链接页面似乎有效。

编辑:

我发现了这个:

instance  Monad IO  where
    {-# INLINE return #-}
    {-# INLINE (>>)   #-}
    {-# INLINE (>>=)  #-}
    m >> k    = m >>= \ _ -> k
    return    = returnIO
    (>>=)     = bindIO
    fail s    = failIO s

bindIO :: IO a -> (a -> IO b) -> IO b
bindIO (IO m) k = IO $ \ s -> case m s of (# new_s, a #) -> unIO (k a) new_s

here .

Answer 1

如果您想知道 System.IO 应该公开什么接口(interface)，请查看 Haskell Report。我相信这是规范性的规范。

如果您想要内部实现...那么，它已硬连接到编译器中。您必须通读 GHC 源代码。

编辑: IO 很特殊。 IO 很神奇。查看它的来源不会告诉你任何有趣的事情。它只是一堆代码，用于操作编译器内部的 I/O 工作方式的低级表示。无论您想了解什么，您都可能无法在这里找到启发。