これらのクラス、アクティブ レコード パターンの実装があります。

データベース (連絡先) の行を定義するたびに、次のような新しいレコード クラスを作成します。

およびデータベースの行のコレクション (つまり、連絡先) は次のとおりです。

しかし、その後、ジェネリックを使用してレコードコレクションを含めることはできません:

「ContactCollection型を暗黙的に>に変換できません」というメッセージが表示されます。どんな助けでも大歓迎です。

Scalaで型クラスパターンを使用していると仮定します。クラスCを型クラスFooの一部にする方法は次のとおりです。

ここまでは順調ですね。しかし、CのサブクラスDがあり、Dのインスタンスも型クラスの「中に」入れたいとします。

ドー！Dの型クラスインスタンスを明示的に提供せずにこれを機能させるにはどうすればよいですか？

継承とパラメトリックポリモーフィズム（「ジェネリック」）の概念を、特に分散に関してだけでなく、どのように（「構文」）どこで（使用サイト/宣言サイト）行う必要があるかという観点からも、一般的に統一できるのではないかと思います。定義されますか？

この観点を考慮してください：

• たとえば、サブタイピングS <: Tは共変動作として認識できます。これは、受け入れる入力引数Tがも受け入れるためSです。
• 「継承モデルの分散」を不変に変更することは、サブタイピングを禁止することによって定義側でのみ可能です（たとえばfinal、クラス定義に修飾子を追加する）。ほとんどの場合、逆分散は不可能です。
• パラメトリックポリモーフィズムはデフォルトでは不変ですが、共/逆変にすることができます

考慮して、両方の間に無視できない概念の不一致があるようです

• 「安全でない」共分散を許可することによって言語が生み出した苦痛（String[] <: Object[]Java / C＃など）
• 継承と比較して、継承/パラメトリック多型が宣言および使用される方法の違い

一部の言語では、両方がうまく連携していることがわかります。

順序付け/比較動作を実装します。

• 継承とパラメトリックポリモーフィズムの概念を統一して、同じデフォルトの分散動作を取得できると考えられますか（たとえば、デフォルトで共分散、または代わりにほとんどのタイプを不変アノテーションでマークする必要があるため、醜さを別のポイントに移動するだけです） ）？これは、データ構造もデフォルトで不変になるかのように、より実用的でしょうか？
• これが健全であることが証明されている正式なシステムはありますか？
• 具体的なプログラミング言語に関係なく、どの構文オプション/変更が最も必要になる可能性がありますか？
• これ/類似のものがすでに機能しているいくつかの実用的な例または言語はありますか？

ポートフォリオの分散は次のように計算されます。

Nassestのポートフォリオの場合

私は次のnumpy行列を持っています。

ポートフォリオ内の株式の重みの配列（ベクトル）（10の株式があります）：

株式リターンの共分散行列：

私が計算するとき

結果は、covarと同じサイズの配列になります。私はポートフォリオ理論に不慣れですが、ポートフォリオの分散はスカラー（単一値）でなければならないと思います。

誰かがこれを助けてくれるかもしれない経験がありますか？