哈斯克尔“在哪里”缩进：为什么必须缩进标识符之后？

Question

此代码：

import Data.Char (digitToInt)

myInt :: String -> Int
myInt [] = error "bad input: empty string"
myInt (x:xs)
  | x == '-'  = -1 * myInt xs
  | otherwise = foldl convert 0 (x:xs)
  where convert acc x
        | x `elem` ['0'..'9'] = 10 * acc + digitToInt x
        | otherwise           = error ("bad input: not an int - " ++ [x])

失败：

前奏> :l safeListFs.hs
[1 of 1] 编译 Main（ safeListFs.hs，解释）

safeListFs.hs:9:8：解析错误（可能缩进不正确）
失败，已加载模块：无。

但这个版本：

import Data.Char (digitToInt)

myInt :: String -> Int
myInt [] = error "bad input: empty string"
myInt (x:xs)
  | x == '-'  = -1 * myInt xs
  | otherwise = foldl convert 0 (x:xs)
  where convert acc x
          | x `elem` ['0'..'9'] = 10 * acc + digitToInt x
          | otherwise           = error ("bad input: not an int - " ++ [x])

还可以：

前奏> :l safeListFs.hs
[1 of 1] 编译 Main（ safeListFs.hs，解释）
好的，模块已加载：Main。

我不明白为什么最后两个缩进很重要。

Answer 1

基本上，Haskell 会记录 where 之后第一个非空格字符出现的列（在本例中为 convert 的 c），并处理以下内容从该列开始的行作为 where 内的新定义。

延续上一行定义的行（例如 | 防护）必须缩进到第一个非空格字符的右侧（c< /code> 在你的代码中）。

c 左侧缩进的行将位于 where 之外（例如，下一个顶级函数的开头）。

where 之后的第一个字符的列至关重要，即使它位于新行上：

  where
    convert acc x
      | ...
    anotherFunction x y

    ^ 

Answer 2

嵌套上下文必须比封闭上下文进一步缩进 (n>m)。如果不是，L 失败，编译器应该指示布局错误。

来自 http://www.haskell.org/onlinereport/syntax-iso.html。

这也会失败：

import Data.Char (digitToInt)

myInt :: String -> Int
myInt [] = error "bad input: empty string"
myInt (x:xs)
| x == '-'  = -1 * myInt xs
| otherwise = foldl convert 0 (x:xs)
where convert acc x
        | x `elem` ['0'..'9'] = 10 * acc + digitToInt x
        | otherwise           = error ("bad input: not an int - " ++ [x])

呃，我不擅长解释事情。在 where 关键字之后有一个新的上下文，因为您可以在其中指定多个函数 - 请记住您的程序以隐式 module Main where 开头，所以我认为这是合乎逻辑的要求函数体缩进，就像在模块级别一样（编译器期望 M 和 N 列上有另一个标识符，并且声明体进一步缩进）。

fun = ...
^ where fun' = ...
M       ^
        N
        fun'' = ...
fun2 = ...

Answer 3

因为您应该始终缩进函数定义。
（在您的情况下，所有在 where 中同一列开始的内容都被视为“同一级别”定义）。