为什么我在这个解析器序列中遇到类型错误（Erik Meijer 的讲座 8）？

我正在观看函数式编程基础知识Erik Meijer 的系列讲座（幻灯片由 Graham Hutton 制作）。

In 第 8 课（关于函数解析器） https://www.youtube.com/watch?v=OrAVS4QbMqo，定义后Parser a https://www.youtube.com/watch?v=OrAVS4QbMqo#t=15m44s类型，引入一些解析原语（包括item https://www.youtube.com/watch?v=OrAVS4QbMqo#t=16m35s and return https://www.youtube.com/watch?v=OrAVS4QbMqo#t=20m30s，我将其命名为return'），埃里克给出简单的例子 https://www.youtube.com/watch?v=OrAVS4QbMqo#t=31m35s说明如何使用 do 语法将他的解析器组合成一个序列：

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

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

return' :: a -> Parser a                                                   
return' v = \inp -> [(v,inp)]

p :: Parser (Char,Char)
p = do x <- item
       item
       y <- item
       return' (x,y)

然而，当我尝试在 GHCi 中加载它时，出现以下类型错误，这是我没有预料到的，也不理解：

Couldn't match type ‘[(Char, String)]’ with ‘Char’
Expected type: String -> [((Char, Char), String)]
  Actual type: Parser ([(Char, String)], [(Char, String)])
In a stmt of a 'do' block: return' (x, y)
In the expression:
  do { x <- item;
       item;
       y <- item;
       return' (x, y) }
Failed, modules loaded: none.

我究竟做错了什么？

这个错误消息有点令人困惑，因为 GHC 解压了你的Parser输入其定义String -> [(a, String)]。如果我们撤销这个转换，它就会开始变得更有意义：

Expected type: Parser (Char, Char)
  Actual type: Parser ([(Char, String)], [(Char, String)])

现在它开始变得更有意义了。看起来像是您将两次调用的结果Parser Char (ie [(Char, String)]）然后像平常一样使用它们Char是。错误发生在第 15 行，这是您对return':

return' (x, y)

这告诉我们x and y是两个有问题的结果。

您拥有的 do 块正在使用 monad 实例来执行该类型的函数String -> b;它的作用是将它们组合成一个更大的函数String -> b通过将输入串起来（String）通过所有功能。一行像x <- item让你得到b元素来自于String -> b功能，同时维护所有管道以通过String论证通过。很遗憾，item is a Parser Char，这意味着b实际上是一个[(Char, String)]而不仅仅是一个Char.

正确解析需要这个额外的返回结构。这String表示未用于解析的其余输入Char（或您正在解析的任何内容），整个内容是一个列表，因为可以有多种可能的方法来有效解析全部需要处理的部分输入。

为了使这项工作正常进行，您必须有某种方法来处理这个额外的结构。不过，由于我没有听过课程或看过讲座，所以我不知道它是什么。你可以定义your ownmonad 实例而不是依赖于函数的内置实例，但您可能还没有深入了解该类，无法自己执行此操作，或者 Meijer 可能使用非标准库来避免此问题，在这种情况下您需要确保您的设置符合班级的期望。