существование типа Scala типа класса

Question

Я хочу, чтобы определить функцию, как этот параметр типа

def showList(items: Seq[_ : Show]) = {...} из Seq любого типа, который имеет контекст, связанный Show

Таким образом, я мог бы назвать showList(Seq(1, "abc")).

Как следует объявить метод?

Answer 1

def showList[A: Show](items: Seq[A]) = { ... } 

или более явно (с тем преимуществом, что экземпляр класса типа непосредственно доступный)

def showList[A](items: Seq[A])(implicit ev: Show[A]) = { ... } 

Для конкретного случая, так как коллекция Scala мономорфна, вам потребуется Show[Any] экземпляра.