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

在

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重复两次。

让vs以单调的价值观去做

1 个答案: