parsing - 解析器的问题

Question

我希望有人能帮助我理解以下代码

type Parser a = String -> [(a,String)]

item :: Parser Char
item = \ s -> case s of
    [] -> []
    (x:xs) -> [(x,xs)]

returnP :: Parser a
returnP a  = \s -> [(a,s)] 


(>>=) :: Parser a -> (a -> Parser b) -> Parser b
p>>=f = \s -> case p s of
    [(x,xs)]-> f x xs
    _ -> []


twochars :: Parser (Char,Char)
twochars= item >>= \a -> item >>= \b -> returnP (a,b)

一切似乎都很清楚，但我不明白twochars函数最后一行的lampda函数。如果有人能给我一个解释，那就太好了。

Answer 1

为了清晰起见，重写了 twochars 函数，它基本上是:

twochars = 
  item >>= \a -> -- parse a character and call it `a`
  item >>= \b -> -- parse another character and call it `b`
  returnP (a,b)  -- return the tuple of `a` and `b`

这里的 lambda 表达式只是为解析后的字符引入名称，并让它们传递到后面的计算部分。

它们对应于您定义的绑定(bind)中的第二个参数:

(>>=) :: Parser a        -- your item
      -> (a -> Parser b) -- your lambda returning another parse result
      -> Parser b