Haskell如何运行`tell`工作

Question

我正在学习do expression和Monad使用LEARN你是一个很好的HASKELL 。 使用tell函数的gcd实现让我很困惑。

gcd :: Int -> Int -> Writer [String] Int
gcd a b
  | b == 0 = tell ["Finished with " ++ show a ] >>= (\_ -> return a)
  | otherwise = tell [show a ++ " mod " ++ show b ++ " = " ++ show (a `mod` b)] >>= (\_ -> gcd b (a `mod` b))

gcdResult = gcd 8 3

-- result: WriterT (Identity (1,["8 mod 3 = 2","3 mod 2 = 1","2 mod 1 = 0","Finished with 1"]))

但我对tell函数感到困惑。 当使用>>= (\\_ -> ...)或>> ，之前的结果将被忽略，那么为什么tell的结果可以传递给最终结果？ 根据我的想法，可以忽略tell结果，最终结果将是WriterT (Identity (1,[])) 。

Answer 1

你将结果与上下文混淆了。 你是正确的，当应用>>或>>= \\_ -> ，左侧的结果被忽略。 但是，如果忽略整个价值，那将是完全没有意义的; monadic环境可以向前传递。

a >> b

这意味着“从拿上下文a与上下文结合起来b ，保持的结果值b ”。 在Writer的情况下，monadic上下文是传递一些只写数据。

tell :: Monoid w => w -> Writer w ()

这是（略微简化）的tell类型。 它需要一个值来编写并返回一个结果值无关紧要的Writer实例（ () ），但其上下文是包含w参数的只写值。 当你应用>> ，结果值被忽略（这是无关紧要的，因为tell通过其结果不返回任何值），但保留了上下文 。