Scala是否具有F＃的“類型”？

Question

F＃中的類型聲明示例：

type ActiveCartData = { UnpaidItems: string list }
type PaidCartData = { PaidItems: string list; Payment: float }

type ShoppingCart = 
    | EmptyCart  // no data
    | ActiveCart of ActiveCartData
    | PaidCart of PaidCartData

我們如何使用trait和case class和/或case object在Scala中做類似的事情？

一個開始：

trait ShoppingCart
case object EmptyCart extends ShoppingCart
case object ActiveCart extends ShoppingCart
case object PaidCart extends ShoppingCart

但是如何與數據持有者類型建立關系呢？

Answer 1

如果我理解正確，您正在尋找case classes而不是case objects 。 他們可以包裝數據：

sealed trait ShoppingCart
case object EmptyCart extends ShoppingCart
case class ActiveCart(unpaidItems: Seq[String]) extends ShoppingCart
case class PaidCart(paidItems: Seq[String], payment: Float) extends ShoppingCart

或者（如果你想保留這些持有者數據類型，除非它們非常復雜，否則我可能不會這樣做）

sealed trait ShoppingCart
case object EmptyCart extends ShoppingCart
case class ActiveCart(unpaidItems: ActiveCartData) extends ShoppingCart
case class PaidCart(paidItems: PaidCartData) extends ShoppingCart