为什么Haskell不接受列表的这种语法？
考虑以下 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 的越位规则实现，所以也许它与此有关。
回答
好吧，最终答案只是“因为 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 ) ]
)
]