为什么解析器组合子"seq"用"bind"和"return"定义？

Question

我正在阅读有关解析器组合器的文章,并且不理解以下内容:

他们说使用seq(见下文)导致具有嵌套元组的解析器作为结果,操作起来很麻烦.

 seq :: Parser a -> Parser b -> Parser (a,b)
 p ‘seq‘ q = \inp -> [((v,w),inp’’) | (v,inp’) <- p inp, (w,inp’’) <- q inp’]

为了避免嵌套元组的这个问题,他们引入了monadic bind和return解析器,然后定义seq如下:

 p ‘seq‘ q = p ‘bind‘ \x -> q ‘bind‘ \y -> result (x,y)

不幸的是,我没有看到嵌套元组的问题是什么 ,为什么第二个实现seq比第一个更好.你能帮我理解一下吗？

Answer 1

第一个示例扩展到类型((a,b),(c,d,e)):

seq232 ((p,q),(r,s,t) = \inp ->
     [ (((v,w),(x,y,z)),inp’’''')
     | (v, inp’) <- p inp
     , (w, inp’’) <- q inp’
     , (x, inp''') <- r inp''
     , (y, inp'''') <- s inp'''
     , (z, inp''''') <- t imp''''
     ]

第二个例子扩展到类型((a,b),(c,d,e)):

seq232 ((p,q),(r,s,t)) =
    p ‘bind‘ \v ->
    q ‘bind‘ \w ->
    r `bind` \x ->
    s `bind` \y ->
    t `bind` \z ->
    result ((v,w),(x,y,z))

虽然它不是AA 好多好,我想你可以看到,第二个是位清洁工.