Haskell readP库中<*>操作符的作用是什么？是否等同于<++？

• <*>操作符：它属于Applicative类型类的标准操作符，在readP中的作用是顺序组合解析器并应用函数。具体来说，左边的解析器先运行，得到一个函数；接着运行右边的解析器得到一个值；最后将函数应用到值上，返回组合后的解析结果。举个简单例子：

  import Text.ParserCombinators.ReadP
  
  -- 先解析数字'1'，再解析数字'2'，最后将两者转为整数相加
  parseAdd :: ReadP Int
  parseAdd = (+) <$> (read <$> get) <*> (read <$> get)
  

  这里<$>把read和(+)映射到解析器的结果上，<*>负责按顺序执行两个解析器并完成函数应用。

• <++操作符：这是readP库专属的失败回退选择操作符。它会先尝试执行左边的解析器，成功则返回结果；如果左边解析失败，会回退到解析前的输入状态，再尝试右边的解析器。比如：

  parseAB :: ReadP Char
  parseAB = char 'a' <++ char 'b'
  

  这个解析器会先匹配字符'a'，失败时才尝试匹配'b'。

两者功能完全不同：<*>用于串联解析逻辑并传递结果，<++>用于提供备选解析路径，处理解析失败的分支场景。

内容的提问来源于stack exchange，提问作者Piskator