任意の配列を扱うF＃

Question

私はいくつかの種類のarbirary型とsom任意の長さの配列で構成する必要があるF＃でモジュールを作成しようとしています。

たとえば、私は任意の大きなベクトル計算のためのモジュールを作る必要があると言うことができます。

は、私の考えは

module Vector = 
type Vector = V of array<_> 
let (+) (v1:Vector) (v2:Vector) = Vector.map2 (+) V1 V2 

ですが、MAP2機能がまだベクトルに対してdeclaretされていないので、これは動作していない、それはだ私は同じで、新しいタイプのためMAP2機能を宣言するにはどうすればよい質問、 proberties広告アレイ？

Answer 1

配列のために関数map2がすでに存在するため、再利用することができます。

ただし、(+)にレットバインド機能を使用すると、そのタイプ内でのみアクセスできるようになるため、代わりに静的メンバーを使用する必要があります。その後

あなたは解除構成するあなたのシングルケースを判別-連合をするパターンマッチングを使用することができ、既存のmap2関数を呼び出す：

type Vector<'t> = V of array<'t> with 
    static member (+) (V v1, V v2) = V (Array.map2 (+) v1 v2) 

しかし、あなたはまだで、あなたのタイプのためのmap2関数を作成したい場合これをより一般的な方法で使用するには、次のようにしてください：

type Vector<'t> = V of array<'t> with 
    static member map2 f (V v1) (V v2) = V (Array.map2 f v1 v2) 
    static member (+) (v1, v2) = Vector<_>.map2 (+) v1 v2