>>748
お前こそ意味が分からんな
実行時に次元数を判定する方法の一つが if 式による判定だ
コンパイル時に次元数を判定する方法の一つが型クラスによる判定だ
俺はその後者をたまたま選択しただけだ

ベクトルクラスを作るのはプロジェクト内で一人だけではないんだよ
俺ではない別の数人がそれぞれ独自に別々の実装方法で作る
俺が作る色々な関数がベクトルクラスを要求し、
中にはクロス積できるベクトルクラスを要求する関数もいくつかある
あとで、俺の関数を先の数人が作ったベクトルクラスに適用して検証する

ベクトルクラスはこういう能力がある、
クロス積可能なベクトルクラスはこういう能力がある、
という仕様を型クラスとして彼らに提示するんだよ
彼らはその仕様としての型クラスを満たすクラスを作る

だから、
> お前のベクトルは3次元でも明示的にCrossProdAble継承して無いと外積できないわけ？
当然、そうなる
意味論としては同じだが、３次元である事というよりは、
今回はクロス積ができる事というニュアンスを仕様に明示したい


この型クラスが必要であることをチーム内で話し合って決定した上で、
単に名前の案を訪ねただけなんだがな
決定するまでのいきさつや理由を詳細を語り、かつそれがお前らの理にかなってなければ、
名付ける必要なしと言って、ここでは案を出してくれないのか？

であれば、これ以上詳しく語れないから、もういいです