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`

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

它们对应于您定义的绑定中的第二个参数：

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