在Scala的解析器組合器中返回“ |”的類型

Question

我正在閱讀Bernie Pope關於“ Scala中的Parser組合器”的幻燈片。 他引用了“另類”的組合子的方法簽名類型| ：

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 => Stooge(s) } s: Either[Either[Either[String,String],String],String]而不是s: String 。