哈斯克尔范围 (GHCi)

我正在阅读为你学习 Haskell 以造福人类 http://learnyouahaskell.com/. 他的例子 http://learnyouahaskell.com/starting-out#texas-ranges [2,2..20] and [3, 6..20]工作正常，但我得到了三个奇怪的结果：

1. 从 1 到 171 按 17 数：[17, 1..171]产生空列表。
2. 从 17 到 1711111 按 17 数：[17, 17..171111]重复数字17直到我打断 GHCi。

3. 之间有一个奇怪的区别take 54 [171, 234..] and take 54 [171, 244..]:

    ghci> take 54 [171, 234..]
   [171,234,297,360,423,486,549,612,675,738,801,864,927,990,1053,1116,1179,1242,1305,1368,1431,1494,1557,1620,1683,1746,1809,1872,1935,1998,2061,2124,2187,2250,2313,2376,2439,2502,2565,2628,2691,2754,2817,2880,2943,3006,3069,3132,3195,3258,3321,3384,3447,3510]
   
    ghci> take 54 [171, 244..]
   [171,244,317,390,463,536,609,682,755,828,901,974,1047,1120,1193,1266,1339,1412,1485,1558,1631,1704,1777,1850,1923,1996,2069,2142,2215,2288,2361,2434,2507,2580,2653,2726,2799,2872,2945,3018,3091,3164,3237,3310,3383,3456,3529,3602,3675,3748,3821,3894,3967,4040]
   

Why?

你的意思是范围稍微偏离。 Haskell 范围语法是以下四种语法之一：[first..], [first,second..], [first..last], [first,second..last]。示例来自学习 Haskell http://learnyouahaskell.com/starting-out#texas-ranges are

ghci> [2,4..20]  
[2,4,6,8,10,12,14,16,18,20]  
ghci> [3,6..20]  
[3,6,9,12,15,18]   

请注意，在第一种情况下，列表以二为单位计数，而在第二种情况下，列表以三为单位计数。那是因为不同之处第一项和第二项之间分别是二和三。在你的语法中，你试图写[first,step..last]获取列表[first,first+step,first+2*step,...,last];然而，这样的范围的步长实际上是前两个数字之间的差。如果没有第二个元素，则步长始终为 1；如果没有最终元素，列表将永远持续下去（或直到达到该类型的最大/最小元素）。

因此，让我们看一下您的三个示例：

• [17,1..171] == []。既然你指定了17,1，Haskell 认为列表的前两个元素应该是十七和一，所以你必须计算-16。在这种情况下，Haskell 希望元素一出现就停止smaller比最后一个元素——但它们是这样开始的，所以不会产生任何元素。要加一，你想要[17,18..171]（列表的前两个元素是 17 和 18），或者简单地[17..171].

• [17, 17..171111] == repeat 17。这个很有趣。由于列表的前两个元素都是17，Haskell 确定您必须向上计数为零，并且它会很高兴地继续向上计数，直到结果超过171111。当然，当以零计数时，这种情况永远不会发生，因此你会得到一个无限的十七列表。要数到十七，你想要[17,34..171111], or [17,17+17..171111]如果你认为这样更清楚。

• take 54 [171,234..] vs. take 54 [171,244..]。我不确定您在这里期望什么行为，但它们每个人所做的与上面相同：第一个返回一个包含 54 个整数的列表，从171并通过计数234 - 171 = 63;第二个返回一个包含 54 个整数的列表，从171并通过计数244 - 171 = 73。每个列表都会无限延伸（或者至少直到maxBound，如果列表是有限的Ints并且不是任意大Integers），因此您只需请求前五十四个元素。

有关范围语法含义的一些更具体的细节（它被翻译成Enum类型类），包括浮点数范围上有点令人惊讶的行为，哈马尔对另一个问题有一个很好的答案 https://stackoverflow.com/questions/7290438/haskell-ranges-and-floats/7290493#7290493.