如何使用单子洗牌列表?

编译器说问题出在 (randomN 1) . randomN 函数是用参数调用的,但它不接受参数。

然后它就不知道应该是哪种类型的随机数,所以我们需要在这里提供一个:

randomIO >>= (\x -> return (x `mod` 52)) :: IO Int

那么 No instance for (Eq (IO Int)) Int 是意料之中的,但是 IO Int 提供。为了方便起见,我们可以交换 shuffleOnce n c

shuffleOnce c <$> randomN

之后,错误显示:

Expected type: [Card]
Actual type: IO [Card]

我们需要利用 <$> 再次代替 $ ,只是为了“进去” IO :

Deck <$> shuffleOnce c <$> randomN

Couldn't match expected type ‘Deck’ with actual type ‘IO Deck’

我们对此无能为力,但要改变 shuffle 功能:

shuffle :: Deck -> IO Deck
shuffle (Deck c) = Deck <$> shuffleOnce c <$> randomN
    where   randomN = randomIO >>= (\x -> return (x `mod` 52)) :: IO Int
            shuffleOnce c n = (findNth n c : deleteNth n c)
            findNth 0 (x:_) = x
            findNth n (_:xs) = findNth (n-1) xs
            deleteNth 0 (_:xs) = xs
            deleteNth n (x:xs) = x : (deleteNth (n-1) xs)

洗牌