haskell - 如何在Haskell中显示100%完全无糖功能？

Question

例如，说 putStrLn "one">> putStrLn "two"。如果我执行 :info >>，我会看到:

type Monad :: (* -> *) -> Constraint
class Applicative m => Monad m where
  ...
  (>>) :: m a -> m b -> m b
  ...
    -- Defined in ‘GHC.Base’
infixl 1 >>

我想看看表达式 putStrLn "one">> putStrLn "two" 是什么，用这个定义替换 >> 。但不仅仅是这个函数表达式，而是任何函数表达式，如何找到并打印无糖版本。

Answer 1

(>>) 是一个函数，并且函数通常不被视为糖，即使它们来自类型类。但无论如何，在表达式 putStrLn "one">> putStrLn "two" 中，它来自 IO monad，因此它的定义将在 instance Monad IO 内部。 。它恰好是 (*>) 本身就是 thenIO，就是这样:

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

请注意，这使用了非公共(public) API 的 IO 部分，因此这实际上并不是您可以在普通程序中自己编写的内容。