scala：型パラメータから基本クラスを継承する

Question

下のコードのように型パラメータを継承することによって、型パラメータに基づいて型クラスを作成できますか？

私は、これは関数型言語としてScalaの制限があるとして、これは基本的に不可能であることを疑うん...

しかし、私は以下のコードに変更しなければならないものを、可能な場合

？

class MyInt[T : Numeric] extends T { 

} 

Answer 1

これはできません。 クラス（特性を含む）を拡張することはできますが、タイプを拡張することはできず、Tはタイプです。

可能であれば、MyInt[Int]（最終）、またはMyInt[List[String]]（これはクラスではありません）を持つことを意味しますか？それは非常に迅速にコンパイラのために非常に複雑になるでしょう。