Haskell，没有步骤的范围downto [重复]

Question

这个问题在这里已有答案：

• 减少Haskell 3答案中的 范围

为什么在Haskell没有步骤的情况下没有工作范围

[7..1] => []

但只是这样工作

[7,6..1] => [7,6,5,4,3,2,1] 

Answer 1

Haskell无法知道你想要步骤-1，直到你给它一个提示。

在[x..y]情况下，您可能需要范围[x..y] ，其中y < x ，并且您希望范围为空。 如果Haskell在这些情况下简单地向下移动，这将产生微妙的错误。

Answer 2

3.10。 算术序列

[...]算术序列满足这些身份：

• [...]
• [e1..e3] = enumFromTo e1 e3
• [...]

6.3.4枚举类

对于Int和Integer类型，枚举函数具有以下含义：

• [...]
• 序列enumFromTo e1 e3是列表[e1，e1 + 1，e1 + 2，... e3]。 如果e1> e3，则列表为空。
• [...]

来自Haskell 2010语言报告 。

Answer 3

如果没有步骤的指示，haskell会假定它为+1并且如果它不适用于给定参数则返回空列表。

必须明确建议除+1之外的任何增量; 不仅积极的整合者> 1。