scala: наследующий базовый класс от параметра типа

Question

Возможно ли создать класс типа на основе параметра типа, наследуя параметр типа, как в приведенном ниже коде?

Я подозреваю, что это принципиально невозможно, так как это ограничение, как Scala функциональный язык ...

Но если это возможно, что я должен изменить в коде ниже ??

class MyInt[T : Numeric] extends T { 

} 

Answer 1

Невозможно. Вы можете расширить класс (включая черты), но вы не можете распространять тип, а T - это тип.

Даже если бы это было возможно, что тогда означало бы иметь MyInt[Int] (что является окончательным), или MyInt[List[String]] (что не является классом)? Это очень усложнилось для компилятора очень быстро.