オーバーロードされた静的演算子の使用方法

Question

F＃で小さな行列ライブラリ（主にラッパーメソッド）を作成していますが、静的演算子メソッドのオーバーロードに関する問題があります。

[<AutoOpen>] 
module MatrixOps = 

let (*) (matrix : IMatrix) (vector : IVector) = 
    (...) 

これは私が、例えばのようなものを書くことができます：

私は、ベクトルと行列の右乗算を定義したモジュールを持っていますA * vここで、AはIMatrixであり、vはIVectorである。しかし、私は今、上記のレットバインディングの下に次の行を追加します：F＃コンパイラはこれをエラーとして識別します。 "1.0"をホバリングすると、次のようになります。 "タイプ 'float'はタイプ 'IMatrix'と互換性がありません。同様に、2.0以上にホバリングすると、"タイプ 'float' IVector '"ここで起こっていることは、F＃コンパイラがfloatに乗算演算子を適用せず、代わりにIMatrixとIVectorの演算子を適用しているようです。私が代わりに

let z = (1.0 : float) * (2.0 : float) 

を記述する場合の問題は解消されないので、明示的な型annotionsを追加することは助けにはなりません。上記で定義したIMatrix/IVector演算子の代わりに、F＃が浮動乗算演算子を選択するようにするにはどうすればよいですか？

Answer 1

F＃では、レットバインド関数を追加するだけでオーバーロードを定義することはできません。

type Matrix = 
    static member (*) (matrix : Matrix) (vector : IVector) = .. 

注：

のF＃のサポート標準の.NETインスタンスまたは静的メンバオーバーロードが、この場合のように、あなたは静的メンバを追加する必要があり、私は行列やベクトル間の過負荷で、このような設計に対してあなたをお勧めします。このように過負荷を定義し続けると、混在したタイプ間で、過負荷の解決があいまいになることがあります。

行列間だけオーバーロードを定義し、ベクトル間に別のセットを定義する方がよいでしょう。次に、asMatrixのような関数を定義して、ベクトルを行列にラップして行列を乗算することができます。