将 do 块转换为使用 >>= [重复] 的代码

Question

我有以下功能

foo  =
    do
    putStr "type in a sentence: "
    s <- getLine
    putStrLn ("You typed " ++ s)

我需要转换这个函数，使它不使用'do'，而是使用>>=。

在我必须连接 2 个单子的其他示例中，我能够做到这一点

maybeadd' x y = x >>= (\x' ->  y  >>= (\y' -> pure(x'++y')    ))

但在我的情况下，我不知道该怎么做。有人能指出我正确的方向吗？

谢谢！

Answer 1

像这样：

foo = putStr "type in a sentence: " >> getLine >>= \s -> putStrLn ("You typed " ++ s)

一般规则是，没有<- 的行去糖到>>，而带有<- 的行去糖到>>= 和一个lambda。