“|”的返回类型在斯卡拉的解析器组合器中

Question

我正在阅读Bernie Pope的幻灯片"Parser combinators in Scala"。他引用了“另类”的方法签名类型Combinator的|：

def | [U >: T](q: => Parser[U]): Parser[U] 

，问道：“家庭作业：为什么不呢|有这种类型改为”

def | [U](q: => Parser[U]): Parser[Either[T,U]] 

Answer 1

case class Stooge(name: String) 
val moe: Parser[String] = "Moe" 
val larry: Parser[String] = "Larry" 
val curly: Parser[String] = "Curly" 
val shemp: Parser[String] = "Shemp" 

val stooge: Parser[Stooge] = (moe | larry | curly | shemp) ^^ { s => Stooge(s) } 

现在，想象你会写，而不是{ s => Stooge(s) }如果你有s: Either[Either[Either[String,String],String],String]而不是s: String工作的代码。