Haskell代码解析错误排查求助：定位并修复语法问题

以下是代码中所有解析错误的具体位置及修复方法（忽略算法逻辑，仅关注语法合规性）：

1. 类型签名语法错误 #

• 错误代码：

  mountTree :: [Char] -> FilePath -> Int -> Either IO [FilePath] String
  

• 问题：Either 类型需传入两个纯类型参数，且函数使用 do 块（属于 IO Monad），返回类型不应以 Either 作为最外层。
• 修复：调整为符合 IO 操作的类型签名：

  mountTree :: [Char] -> FilePath -> Int -> IO (Either String [FilePath])
  

2. 函数调用括号滥用 #

• 问题：Haskell 函数调用使用空格分隔参数，括号仅用于表达式分组。代码中如 getDirectoryContests(initial)、length(primariList) 均为错误写法。
• 修复：移除多余括号，改为空格分隔：

  b <- getDirectoryContents initial  -- 注：推测是 getDirectoryContents 的拼写错误
  length primariList
  

3. return 语句参数格式错误 #

• 错误代码：

  return mountTree getDirectoryContests initial 1
  

• 问题：return 仅接受单个参数，多参数需用括号包裹成一个表达式。
• 修复：

  return (mountTree initial getDirectoryContents 1)
  

4. where 块内表达式结构错误 #

• 问题：
  • where 块内的 if 分支包含多条语句但未用 do/let 包裹；
  • 存在无效的赋值语句 toScan[leaf] = []（无法在表达式内部直接定义变量）；
  • if 分支缩进不一致。
• 修复：用 do 包裹多语句分支，用 let 定义变量，统一缩进：

  where
    result = if length primariList == dir
             then return "Done"
             else do
               let toScanLeaf = []
               if dir > 0
               then ...
               else ...
  

5. 函数调用的元组语法错误 #

• 错误代码：

  mountTree(initialDir, toScan(leaf), dir + 1)
  

• 问题：mountTree 是柯里化函数，需逐个传递参数，不能用元组语法（逗号分隔）。
• 修复：改为空格分隔参数：

  mountTree initialDir (toScan leaf) (dir + 1)
  

6. main 函数多定义与赋值错误 #

• 问题：
  • 重复定义 main 函数，导致冲突；
  • do 块内赋值未使用 let（纯值）或 <-（IO 操作）；
  • 存在拼写错误 intitialPath → initialPath。
• 修复：

  main :: IO ()
  main = do
      initialPath <- getLine
      let tree = mountTree initialPath "" 0  -- 补充缺失参数，修正拼写
      mapM_ print tree  -- 修正无意义的原逻辑，保证语法合规
  

7. if 分支多语句未包裹 #

• 问题：多个 if 分支内的多条语句（如 pop primariList 和 map (...)）未用 do 包裹，导致解析失败。
• 修复：用 do 块包裹多语句：

  then do
      pop primariList
      map (...)
  

内容的提问来源于stack exchange，提问作者Lukas Wilkeer