问为什么哈斯克尔的范围语法首先使用，然后，而不是第一和第一步？

EN

注意，例如Python的范围说明符是一个函数

>>> range(1, 12, 2)
[1, 3, 5, 7, 9, 11]

Haskell的目标是提供语法，从字面上看，您可能会为另一个人写出列表，编写..而不是“显而易见”的模式：

ghci> [1, 3 .. 11]
[1,3,5,7,9,11]

卡尔在对左撇子回答的评论中提到的另一点是，序列语法可以用于非数字类型，在这种情况下，编写“步骤”的方法并不那么简单：

ghci> ['a', 'f' .. 'z']
"afkpuz"

只是在本和卡尔所说的基础上：

Enum中定义的函数是多态的。

λ> :t enumFromThenTo
enumFromThenTo :: Enum a => a -> a -> a -> [a]

通过将它们定义为“第一、第二、最后”，我们可以对所有参数使用相同的多态类型参数a！

如果我们将它们定义为“第一步、最后一步”，那么step参数可能具有与其他两种参数不同的类型。

• 对于整数序列，该步骤也是整数-没有问题。
• 对于一个字符序列，这个步骤又是一个整数--所以也许我们可以将step的类型修正为某种整数类型？(但哪一个呢？)
• 但是不-对于浮点序列来说，这个步骤也需要一个浮点数！

所以我们需要(我想！)要将另一个类型变量添加到Enum类型，这将使它变得更加复杂，而且(可能还没有检查)需要GHC扩展而不是标准Haskell。

我同意，国际海事组织的开始阶段结束会是更好的惯例。然而，从开始到结束更常见于纯粹的数学语境，这是哈斯克尔的传统。

请注意，您可以很容易地通过手工实现。

• 开始-步骤-结束： takeWhile (
• 开始-步骤计数： 取计数$ iterate (+步骤)开始

而开始-然后结束需要首先手工计算步骤。

let step = then - start
in takeWhile (< end+step/2) $ iterate (+step) start

因此，为更难手动实现的表达式添加语法糖/标准函数是有意义的。