Haskell 在没有显式递归的情况下生成具有适当性的随机数

Question

这里我有一个函数来生成 0 到 999 之间的随机数流。

randomHelp :: RandomGen g => g -> [Int]
randomHelp g = zipWith (mod) (map fst $ iterate (next . snd) $ next $ snd $ split g) $ repeat 1000

我想从上面定义的流中选择所有数字，并且每个elem(i)和elem(i + 1)必须尊重一个特性。 例如他们的 gcd 必须是一个。 我能想到的只是一个折叠函数，因为我可以从包含数字 1 的累加器开始（假设 1 将是我想要显示的第一个元素）然后我检查折叠函数的适当性，如果它受到尊重，我添加累加器的元素，但问题是程序块，因为我认为是 stackoverflow。

这是函数：

randomFunc :: RandomGen g => g -> [Int]
randomFunc g = foldl (\acc x -> if (gcd x (last acc) == 1) then acc ++ [x] else acc) [1] (randomHelp g)

注意：我不想使用显式递归。

Answer 1

正确的折叠可能更适合，例如：

import System.Random (RandomGen, randomRs, mkStdGen)

randomFunc :: RandomGen g => g -> [Int]
randomFunc g = foldr go (const []) (randomRs (1, 20) g) 1
    where go x f lst = if gcd x lst == 1 then x: f x else f lst

然后

\> take 20 . randomFunc $ mkStdGen 1
[16,7,6,19,8,15,16,1,9,2,15,17,14,3,11,17,15,8,1,5]

这样做您可以使用:而不是++来构建列表，这可能会导致二次性能成本，并且您可以绕过对last的调用。