将自定义类型从 F# 转换为 Scala

Question

出于兴趣，我开始学习 Scala，我决定将 Scott Wlaschin 的parser combinators包从 F# 翻译成 Scala，这样这些东西就会真正安顿下来。 Scott 的包的重点是几乎在任何地方都使用 monad，所以我我也将其视为进一步了解 monad 的机会。

在早期的一张幻灯片中，他定义了类型type Parser<'a> = Parser of (string -> Result<'a * string>) ，其中：

type Result<'a> = 
| Success of 'a
| Failure of string

这个定义中的微妙之处在于Parser<'a>等式两边的'a之间的耦合。

无论如何，如何将上述语句转换为 Scala，同时保留我提到的微妙之处？

对于第一个我想到了这个：

type ParserType[T] = String => Result[(T, String)]

对于第二个（这是一种选择类型），我想到了这一点：

sealed trait Result[T]
case class Success[T](result: T) extends Result[T]
case class Failure[T](msg: String) extends Result[T]

但是，在Failure使用[T]似乎很愚蠢，因为它根本不使用T 。 是否有一些语法可以更接近于 F# 语法？

Answer 1

看看 Scala 2.12 中新的偏右Either （除此之外，Cats 库中有一个Xor数据类型。）但是，直接回答你的问题：

sealed trait Result[+T]
case class Success[T](result: T) extends Result[T]
case class Failure(msg: String) extends Result[Nothing]

这利用了类型协方差。 此处的 Any Failure可与任何Success一起使用。 请注意，这不处理map或flatMap问题。