Haskell - 从语法糖翻译

Question

翻译这个的任务是

f = do
    c <- [1 .. 200]
    b <- [1 .. 200]
    guard (c >= b)
    a <- [1 .. 200]
    guard (a >= b && (c^2 - a^2 == b^2))
    return (a,b, c)

变成不含糖的版本。

我想我已经解决了大部分问题，但我被困在中间，有一个问题需要解决，然后才能继续。到目前为止，我有：

f = [1 .. 200] >>= \c ->
    [1 .. 200] >>= \b ->
    if (c >= b) 
        then [1 .. 200] >>= \a -> if (a >= b && (c^2 - a^2 == b^2)) 
                                      then return(a,b,c)
                                      else return ()
        else return ()

不编译。当我输入 (a,b,c) 作为返回值时，它会编译，但显然它不再给出预期的结果。如何在 else 分支中返回“nothing”？

如果我将 ((),(),()) 作为返回值，编译器会得到一个“No instance for (Num [a]) from the literal '1'”

Answer 1

您必须生成一个空列表，而不是return ()，即[()]，因此else [] 或通用guard 实现else mzero。

成功分支产生一个三元组列表，[(Int,Int,Int)]（或Integer，或另一个Num 类型），因此失败分支必须产生相同的结果。由于失败意味着没有找到三元组，因此它们将生成一个空列表。

请注意，在[] monad 中，return x 只是[x]，而mzero（来自MonadPlus）与fail whatever 相同，即[]。

Answer 2

guard 实际上并不是语法糖。这是来自Control.Monad 的函数。

guard :: MonadPlus m => Bool -> m ()
guard True  = return ()
guard False = mzero

如果列表mzero 是[]。在这里阅读更多：http://en.wikibooks.org/wiki/Haskell/MonadPlus