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

解析器的问题

1 个答案: