haskell - 枚举整数的所有有限序列？

Question

我想编写一个 Haskell 列表推导式来枚举所有有限的整数序列。

我很确定这个集合是可数的。

这是我到目前为止:

enumIntSeqs = [ (x, [ ( x, [0..x] ) | x <- [ x | x <- [0..x] ] ] ) | x <- [0..] ]

我的另一个想法是以某种方式列出无限数组中的每个有限路径

Z* X Z* 其中 Z* = {0, 1, -1, 2, -2,...}

Answer 1

这确实是可能的。但这并不容易。想象一下，你有一个所有整数的枚举，一个所有整数对的枚举，一个所有整数三元组的枚举等等。然后你需要从这些枚举中“公平地”选择，以确保命中每个元素。当您尝试枚举所有整数对时，也会出现类似的问题。我建议你从这个问题开始，然后研究类似 Control.Monad.Omega 的东西。 ，或者甚至 Control.Monad.Logic .