小编mem*_*xor的帖子

困惑于Haskell的布局工具如何处理此代码

浏览https://wiki.haskell.org/IO_inside时,我遇到了以下评论和代码......

"而且,Haskell布局规则允许我们使用以下布局:
main = do a <- readLn
          if (a>=0) then return ()
            else do
          print "a is negative"
          ...
Run Code Online (Sandbox Code Playgroud)
这可能有助于逃避冗长的"做"声明."

此后,我将使用符号C*来指代上述代码.

我认为C*的意图是读取一个数字,然后:
(i)如果它是非负的,则什么都不做.
(ii)如果是负数,则显示输出,表明它是.

我最初的反应是认为C*要么不能正确解析,要么不会按预期运行.

我认为布局会在第二个'do'之后立即插入一组空括号和一个分号,因为lexeme'print'的缩进比'a <中'a'所建立的当前布局上下文的缩进级别更多. - readLn".

也就是说,我对Layout生成的布局不敏感代码(以下称为C')的预测将类似于:

main = do {
          a <- readLn;
          if (a>=0) then return ()
            else do {};
          print "a is negative"
          ...
          }

Run Code Online (Sandbox Code Playgroud)

我认为情况就是这样,基于Haskell 2010语言报告(https://www.haskell.org/onlinereport)第1部分第2.7节("词汇结构":'布局')中包含的以下句子./haskell2010/haskellpa1.html):

"如果紧跟在where,let,do或of之后的非括号lexeme的缩进小于或等于当前缩进级别,则插入空列表"{}"而不是开始布局,并且布局对当前级别进行处理(即插入分号或近括号)."

有关布局规则的更详细说明,请参见Haskell 2010语言报告第1部分(上面给出的URL)的第10.3节("语法参考":'布局').

在阅读这个更详细的说明时,我感到放心,我对Layout(即C')生成的布局不敏感代码的预测是正确的.

然而,令我惊讶的是,当我在GHCi中尝试上面规定的原始代码(即C*)时,它起作用(正确解析并按预期运行).

问题......