Haskell - 如何在 where 子句中使用 <-

Question

我有以下代码:

foo :: Int -> IO ()
foo n = do
    x <- bar 6
    print "foo running..."
    print x


bar :: Int -> IO Int
bar n = do
    print "bar running..."
    return (n*2)

现在我想将 "x <- bar 6"部分放在 where 子句中，如下所示:

foo :: Int -> IO ()
foo n = do
    print "foo running..."
    print x
    where
        x <- bar 6

bar :: Int -> IO Int
bar n = do
    print "bar running..."
    return (n*2)

我该怎么做呢？

Answer 1

这是不允许的。一个 where子句不强加评估顺序，这对于大多数 Monad 来说都是必需的，例如 IO .如果这是可能的，bar 6 什么时候可以？执行相对于两个print年代？是在一开始还是介于两者之间？