haskell - haskell 中的运算符 <- 是如何表现的？

Question

我(有点)了解 monad 并了解运算符 <- 将从 monad 中提取值。

但是它如何处理不同的类型呢？

通常，我看到它被用来从 IO monad 中提取字符串。但是在下面的示例代码中，我看不出为什么它在第 3 行主线失败，提示它期待一种 IO int 类型？编译器如何推断需要 IO int？

它 ( <- ) 在 multWithLog 中做了什么方法？

import Control.Monad.Trans.Writer.Lazy

main = do
   putStrLn $ show $ logNumber 3 -- prints WriterT (Identity (3,["Got Number: 3"]))
   putStrLn $ show $ multWithLog -- prints WriterT (Identity (3,["Got Number: 3"]))
    _ <- logNumber 3 -- fails with Couldn't match type ‘WriterT [String] Data.Functor.Identity.Identity’ with ‘IO’
                    -- Expected type: IO Int
                    -- Actual type: Writer [String] Int
   putStrLn "test"


logNumber :: Int -> Writer [String] Int
logNumber x = writer (x, ["Got Number: " ++ show x])

multWithLog :: Writer [String] Int
multWithLog = do
  a <- logNumber 3
  --b <- logNumber 5
  return a

Answer 1

do block 中的每个语句都必须来自相同的 monadic 类型。

在

multWithLog = do
  a <- logNumber 3
  return a

我们有 logNumber 3::Writer [String] Int 和 return a::(Monad m) => m Int(这是多态的)，所以整个thing 类型检查为 Writer [String] Int(m = Writer [String]，这是一个 monad)。

在

main = do
   putStrLn $ show $ logNumber 3
   putStrLn $ show $ multWithLog
    _ <- logNumber 3
   putStrLn "test"

我们有 putStrLn ...::IO () 和 logNumber 3::Writer [String] Int。这是一个类型错误，因为 Writer [String] 与 IO 不同。

根本原因是 do block 只是调用 >>= 和 >> 的语法糖。例如。你的 main 真正的意思是

main =
   (putStrLn $ show $ logNumber 3) >>
   (putStrLn $ show $ multWithLog) >>
   logNumber 3 >>= \_ ->
   putStrLn "test"

与

(>>)  :: (Monad m) => m a -> m b -> m b
(>>=) :: (Monad m) => m a -> (a -> m b) -> m b

这要求 m 类型始终保持不变。