arithmetic 設計

責務

• 低レベルの計算可能操作を、意味論的な代数法則から分離します。
• 既存エコシステムのスカラー trait を再利用します。
• 線形代数統合名が不足している場合だけ、小さな操作 trait を追加します。

非責務

• ベクトル空間、加群、行列、バックエンド能力は定義しません。
• 浮動小数点型に厳密な代数法則を主張させません。
• immut、mutable、backends/default をインポートしません。

保守メモ

新しい trait を追加するときは、名前をその操作に直接対応させ、「数学構造」ではなく「その操作が使えること」を表すと明記します。