Haskell 'let'解析错误求助：do与let的空格规则咨询

嘿，作为刚入坑Haskell的新手，碰到let的解析错误真的太常见了！我来给你梳理清楚do表达式里let语句的空格规则，顺便帮你排查下代码里可能的问题~

核心规则拆解 #

1. do块里的let不需要in，但缩进要统一 #

在纯Haskell代码里，let需要搭配in使用，但在do表达式里可以省略in——不过代价是所有let的绑定行必须严格对齐。比如：

do
  let greeting = "Hello"
      name = "Haskeller"  -- 这里必须和greeting的首字母对齐，不能比let的位置更靠左
  putStrLn $ greeting ++ ", " ++ name

如果name那行缩进比greeting少，解析器就会一脸懵，直接抛出错误。

2. do块内所有语句要保持相同缩进层级 #

do块里的每一行（包括<-绑定、let定义、IO操作）都得在同一个缩进水平上，不能忽左忽右。比如你的代码里，fileContents <- readFile fileName这行的缩进，必须和后面的let、return等语句保持一致。

3. let多绑定的对齐规则 #

如果let有多个变量绑定，后续的绑定行要和第一个绑定的开头对齐，而不是和let关键字对齐。比如：

do
  let firstNum = 10
      secondNum = firstNum * 2  -- 对齐firstNum的f，不是let的l
      thirdNum = secondNum + 5
  print thirdNum

你的代码修正示例 #

结合你给出的需求，正确的shorterThan函数应该是这样的（注意缩进细节）：

import Data.Char

-- shorterThan函数接收文件名和长度，返回文件中所有短于指定长度的单词。
shorterThan :: String -> Int -> IO [String]
shorterThan fileName len = do
  fileContents <- readFile fileName
  let wordsList = words fileContents
      shortWords = filter (\w -> length w < len) wordsList
  return shortWords

这里的关键点：

• do后面的每一行都比函数定义的行多缩进了（通常用2或4个空格，别混用空格和制表符！）
• let的两个绑定wordsList和shortWords严格对齐
• return语句和前面的fileContents、let保持同一缩进层级

常见错误避坑 #

• ❌ 错误：let绑定缩进不足

  do
    fileContents <- readFile fileName
    let wordsList = words fileContents
      shortWords = filter ...  -- 这里shortWords比wordsList靠左，直接报错
    return shortWords
  

• ❌ 错误：do块语句缩进不一致

  do
  fileContents <- readFile fileName  -- 这行没缩进，和do平级，解析器直接罢工
    let wordsList = words fileContents
    return shortWords
  

总的来说，Haskell对缩进的要求非常严格，本质是用缩进代替其他语言的大括号来划分代码块。只要记住“do块内统一缩进，let绑定对齐首行”，就能避开大部分let解析错误啦！

内容的提问来源于stack exchange，提问作者Brandon Pham