backends/default 設計
責務
immutとmutableを既定の密行列・密ベクトルバックエンドとして提示します。- 既定の密行列・密ベクトル型に能力 trait を実装します。
- trait による分派を確認する小さな汎用ヘルパーを提供します。
非責務
- スカラー代数や算術法則を再定義しません。
- 将来のバックエンドに密表現や連続ストレージを要求しません。
- スカラー値を返す写像を中核の線形代数 trait 層に含めません。
拡張モデル
将来の疎、遅延、静的サイズ、GPU、外部ライブラリのバックエンドは、同じ構造 trait を直接実装するべきです。DenseMatrix や DenseVector への変換を必須にしません。