代码之家 › 专栏 › 技术社区 › Damian Powell

如何在haskell中创建无限重复列表?

lazy-evaluation haskell list

Damian Powell · 技术社区 · 15 年前

我是一个试图从埃里克·梅耶尔的第九频道网络广播中自学哈斯克尔的人。我遇到了一个有趣的难题,它涉及到使用zip和mod跳过列表中的每个“n”元素。

every :: Int -> [a] -> [a]
every _ [] = []
every n xs = [x | (x,i) <- zip xs [1..], i `mod` n == 0]

我一直在想,如果我们可以避免使用mod,它可能会更有效(对于非常大的列表或流)。

我想懒散地创建一个整数的重复列表,这样我们就可以简单地比较i和n的值。

repeatInts :: Int -> [Int]

这样的电话 repeatInts 3 收益率 [1,2,3,1,2,3,1,2,3,1,2,3,..] 无穷大。

鉴于此,我们可以重新定义 every 像这样:

every :: Int -> [a] -> [a]
every _ [] = []
every n xs = [x | (x,i) <- zip xs (repeatInts n), i == n]

所以我的问题是:你将如何实施 repeatInts ?

2 回复 | 直到 7 年前

Greg Bacon 7 年前

使用 cycle :

cycle :: [a] -> [a]  
周期 将一个有限列表绑定到一个圆形列表中,或者等价于原始列表的无限重复。它是无限列表上的标识。

你可以定义 repeatInts 依据 周期 :

*Main> let repeatInts n = cycle [1..n]
*Main> :t repeatInts
repeatInts :: (Num t, Enum t) => t -> [t]
*Main> take 10 $ repeatInts 3
[1,2,3,1,2,3,1,2,3,1]

出于好奇,GHC实施 周期 具有

cycle [] = errorEmptyList "cycle"
cycle xs = xs' where xs' = xs ++ xs'

用纯功能的说法,这种奇怪的技术被称为打结它创建循环数据结构,而不是无限数据结构。

有关详细信息,请参阅

âTying the Knotâ 在haskell wiki上
âTying the knotâ 在GHC的评论中
âExplanation of âtying the knotââ 这里是堆栈溢出
堆栈溢出标记 [tying-the-knot]

Sam R. chikka.anddev 11 年前

回答迟了,但也可以这样写:

repeatInts :: Int -> [Int]
repeatInts 0 = []
repeatInts a = [1..a] ++ repeatInts a

推荐文章

danial · 如何在多个字符串的每个位置找到最频繁的字符

2 年前

user19657580 · 在Python中打印两个numpy数组的列表

2 年前

shekharsabale · 从列表元素捕获子字符串

2 年前

The Great · 拆分并存储数据帧,但名称基于特定列中的唯一值

2 年前

Lakshya Kashyap · 如何先按数字降序排序,然后按字母升序排序

2 年前

user19657580 · Python中数组中具有相同元素的索引求和

2 年前

Klimt865 · Python中的列表列表

2 年前

Klimt865 · 在Python中将数组列表转换为列表列表

2 年前

dekt · 获取数字列表Top N、next Top N和last Top N的索引

2 年前

FÄÅ ÛÅ · 字典、列表和字符串

2 年前