haskell - 为什么 Haskell 不接受列表的这种语法？

Question

考虑 Idris 中的以下代码片段:

myList : List Int
myList = [
  1,
  2,
  3
]

结束分隔符 ] 与声明本身位于同一列。我发现这是一种很自然的方式来格式化长的多行列表。

但是，Haskell 中的等效代码段无法编译并出现语法错误:

myList :: [Int]
myList = [
  1,
  2,
  3
]

>>  main.hs:9:1: error:
>>     parse error (possibly incorrect indentation or mismatched brackets)?
>>   |
>> 9 | ]
>>   | ^

并且需要将结束定界符 ] 放在列号上 严格大于 声明表达式的位置。或者至少，据我所知，这似乎是正在发生的事情。

Haskell 不喜欢这种语法有什么原因吗？我知道 Haskell 解析器和词法分析器之间存在一些微妙的交互，以启用 Haskell 对越位规则的实现，所以可能与此有关。

Answer 1

好吧，最终答案只是“因为 Haskell 语言标准要求它以这种方式解析”。

至于为什么这是一个好主意的某些原因，缩进是代码结构的主要方式，而圆括号/方括号仅在本地出现。我发现这比 Python 认为缩进是某种主要结构的态度更为重要，但对于分布在多行的表达式，您实际上需要将其括在括号中。 (并不是说这是唯一可以做到的两种方法。)

请注意，如果您真的想要，您始终可以完全禁用缩进敏感度，使用类似

myList :: [Int]
myList = l where {
l = [
   1,
   2,
   3
]}

但我不推荐它。编写多行列表的首选样式是

myList
 = [ 1
   , 2
   , 3
   ]

或

myList = [ 1
         , 2
         , 3 ]

同样，我认为这种前导逗号样式比大多数其他语言的程序员使用的尾随逗号更可取，特别是对于嵌套列表:逗号成为与左括号对齐的“项目符号点”，这使得AST结构非常清晰。

myMonstrosity :: [(Int, [([Int], Int)])]
 = [ ( 1
     , [ ( [37,43]
         , 9 )
       , ( [768,4,9807,3,4,98]
         , 15 ) ]
     )
   , ( 2, [] )
   , ( 3
     , [ ( [], 300 )
       , ( [0..4000], -5 ) ]
     )
   ]