parsing - haskell 中的暂停点何时应该与额外的 "space"一起使用？

Question

在定义列表时，我们使用没有额外空格的悬挂点，如下所示:

Prelude> [3..5]
[3,4,5]
Prelude> [3 .. 5]
[3,4,5]

但与枚举一起使用似乎需要额外的空格:

Prelude> [LT..GT]

<interactive>:2:2: Not in scope: ‘LT..’

<interactive>:2:2:
    A section must be enclosed in parentheses thus: (LT.. GT)
Prelude> [LT .. GT]
[LT,EQ,GT]

所以问题是:它是 Haskell 中的语法规则吗？还是与实现有关？

Answer 1

LT是一个有效的模块名称，因此您引用函数 (.)在该模块名称(或别名)中，而不是枚举的语法糖。由于您没有导入LT (模块，而不是数据构造函数)，它的所有假设功能都超出了范围。

这是一个不会导致超出范围错误的虚假示例:

Prelude> import Prelude hiding (LT)
Prelude> import qualified Prelude as LT
Prelude LT> [LT..GT]

<interactive>:3:2:
    A section must be enclosed in parentheses thus: (LT.. GT)

即使有括号，它也不会输入检查。部分错误也可以通过单个列表来实现:

Prelude> [+ 1]
<interactive>:1:2:
    A section must be enclosed in parentheses thus: (+ 1)

Prelude> :t [(+ 1)]
[(+ 1)] :: Num a => [a -> a]

TL;DR: 除非您想从另一个模块中指定某些内容，否则请确保 . 之间有一些空格。和一个有效的模块名称。