Czy można użyć `obiektu sprawy` z parametrem typu?

Question

Jestem obecnie nauki Scala i chciał powtórzyć ten Haskell algebraicznych Typ danych:

data Tree = Empty 
      | Leaf Int 
      | Node Tree Tree 

To właśnie wpadł w Scala:

sealed trait Tree[T] 
case class Empty[T]() extends Tree[T] 
case class Leaf[T](value: T) extends Tree[T] 
case class Node[T](left: Tree[T], right: Tree[T]) extends Tree[T] 

jednak ktoś powiedział mi, że powinien używać case object dla Empty, co moim zdaniem jest prawdziwe, ponieważ nie pobiera parametrów - ale potem znowu wymaga parametru typu.

Próbowałem następujących ale żaden z nich nie kompilacji:

case object Empty[T] extends Tree[T] 
case object Empty extends Tree[T] 
case object Empty extends Tree 

Więc zastanawiam się, czy istnieje sposób, aby wykorzystać case object w tym przypadku, czy nie.

Answer 1

Singleton nie może być ogólny, ponieważ jest tylko jeden z nich. Jeśli chcesz Tree być kowariantna (tj Tree[Int] jest podtypem Tree[Any]), można zdefiniować typy jak

sealed trait Tree[+T] 
case object Empty extends Tree[Nothing] 

W przeciwnym razie pozostaw je jako klasy sprawy.