如何避免使用符号中的多余变量？

Question

在Haskell do-notation块中说,我希望有一个变量来is_root指示我是否是root:

import System.Posix.User
main = do
    uid <- getRealUserID
    is_root <- return $ uid == 0

那个讨厌的uid变量只用在那个地方.我希望我可以这样写:

main = do
    is_root <- getRealUserID == 0

但当然不会编译.

我怎样才能摆脱多余的变量uid呢？这是我提出的最好的:

import System.Posix.User
main = do
    is_root <- getRealUserID >>= return . ((==) 0)

布莱什!有更好的方法吗？

Answer 1

一种方法是

fmap (== 0) getRealUserID

Answer 2

(我假设你的目标是限制范围uid,而不仅仅是为了它自己的缘故)

在这样一个简单的例子中,@ pdw的答案可能就是这样.操作员<$>和<*>来自Control.Applicative这里特别有帮助.

foo = do
  are_same <- (==) <$> doThis <*> doThat

在稍微复杂的情况下,您可以使用嵌套 - do:

complicatedEq :: This -> That -> IO Bool

main = do
  are_same <- do
    this <- doThis
    that <- doThatBasedOn this
    complicatedEq this that
  ... rest ...

任何显着长度的东西都可能是它自己的功能.