Haskell嵌套顺序解析器：myldV2变量作用域错误修复与原理解析

现有解析器定义 #

我们定义了如下Haskell解析器类型及相关函数：

解析器类型 #

data Parser a = MkParser (String -> Maybe (String, a))

谓词匹配解析器 #

satisfy :: (Char -> Bool) -> Parser Char
-- 接收一个谓词（输入字符返回布尔值）
-- 不满足则返回Nothing，满足则完成解析
satisfy pred = MkParser sf
    where
        sf (c:cs) | pred c = Just (cs, c)
        sf _ = Nothing

纯值解析器 #

pure :: a -> Parser a
pure a = MkParser sf
    where
        sf inp = Just (inp, a)

顺序组合解析器 #

dsc :: Parser a -> (a -> Parser b) -> Parser b
dsc (MkParser pa) pb = MkParser sf
    where
        sf inp = case pa inp of
            Nothing -> Nothing
            Just (cs, c) -> unParser (pb c) cs

-- 运行解析器的辅助函数
unParser :: Parser a -> String -> Maybe (String, a)
unParser (MkParser pa) inp = pa inp

错误代码与问题 #

尝试编写解析器myldV2，要求先解析字母，再解析数字，最终返回由该字母和数字组成的字符串：

myldV2 :: Parser String
myldV2 = dsc (dsc (satisfy isAlpha) (\x-> satisfy isDigit)) (\y -> pure [x,y])

代码报错提示x超出作用域。

错误原因 #

Haskell采用词法作用域，变量的可见范围仅限于其定义所在的代码块内：

• x是第一个内层lambda (\x-> satisfy isDigit)的参数，它的作用域仅在这个lambda函数体内，而该lambda只返回了satisfy isDigit，没有将x传递到后续的解析逻辑中。
• 外层的lambda (\y -> pure [x,y])不在x的作用域范围内，因此无法访问x，导致作用域错误。

修复后的代码 #

调整嵌套结构，让x的作用域覆盖到最终生成结果的lambda：

myldV2 :: Parser String
myldV2 = dsc (satisfy isAlpha) (\x -> dsc (satisfy isDigit) (\y -> pure [x,y]))

这里：

1. 先通过dsc调用字母解析器，得到结果x；
2. 在x的作用域内，再调用数字解析器，得到结果y；
3. 最后在同时可见x和y的lambda中，生成由两者组成的字符串并返回。

补充说明 #

你提到的两种可行方案本质上也是利用了词法作用域：

• 内联形式通过嵌套lambda让内层变量能访问外层的解析结果；
• where嵌套定义则是通过层级嵌套的代码块，让内层的函数可以访问外层where中定义的变量（比如示例中的f2 y可以访问外层的x）。

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