让 VS 在一元值中做

Question

在尝试使用一元值时，使用let或do有什么区别？(不确定这是否是正确的表达方式(

例如：

--import System.Random
*Main> dupRand = let i = randomRIO (1, 10) in sequence [i, i]
*Main> :t dupRand
dupRand :: (Random a, Num a) => IO [a]
*Main> dupRand
[8,3]
*Main> dupRand
[2,9]
*Main> dupRand
[9,5]
*Main> dupRand2 = do i <- randomRIO (1, 10); pure [i, i]
*Main> :t dupRand2
dupRand2 :: (Random a, Num a) => IO [a]
*Main> dupRand2
[6,6]
*Main> dupRand2
[9,9]
*Main> dupRand2
[5,5]

为什么在dupRand2中，该函数成功地复制了一个随机值，而在dupRand中，该函数似乎只是生成了两个随机值？

Answer 1

in

dupRand =
  let i = randomRIO (1, 10)
  in sequence [i, i]

将i绑定到IO操作，该操作在运行时将生成一个随机数。您创建两个元素的列表，每个元素都包含该操作。现在

sequence
  :: (Traversable t, Monad m)
  => t (m a) -> m (t a)

在这种情况下，Traversable是[]的，Monad是IO的，所以

sequence :: [IO a] -> IO [a]

这样做的目的是运行列表中的每个IO操作，并按顺序返回其结果列表。所以当我们运行 sequence [i, i] 时，我们得到一个随机数，得到一个随机数，然后生成一个包含它们的列表。

dupRand2不进行类型检查。我猜你的意思是

dupRand2 = do
  i <- randomRIO (1, 10)
  pure [i, i]

这是句法糖

dupRand2 =
  randomRIO (1, 10) >>= i ->
    pure [i, i]

运行时，此操作将i绑定到随机数(而不是生成随机数的操作(，然后返回重复两次i的列表。