Например: implicit val IntOrd = new Ord [Int ] {...}Можно ли использовать «новое» ключевое слово?
Был ли этот код легальным, если Ord был признаком? Я видел это в документе о различиях между классами OO и типами классов.
Да. Вы можете легко проверить это в РЕПЛ:
scala> trait Ord
defined trait Ord
scala> val x = new Ord {}
x: Ord = [email protected]
Это возможно потому, что с помощью new Ord {} вы не создаете экземпляр признака, но экземпляр anonymous subclass признака. (Связанное объяснение для Java, но оно работает одинаково в Scala).
Можете упомянуть, что если у черты * есть абстрактные элементы, вы должны их реализовать. – childofsoong