Обработка произвольных массивов F #

Question

Я пытаюсь создать модуль в F #, где мне нужно иметь некоторые типы, состоящие из массива некоторого типа arbirary и с som произвольной длиной.

, чтобы прийти с примером, скажем, мне нужно сделать модуль для произвольных больших векторных вычислений.

тогда моя идея

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

, но это не работает, потому что функция map2 не declaret векторов еще и это вопрос, как я могу объявить функцию map2 для нового типа с тем же proberties ad array?

Answer 1

Функция map2 уже существует для массивов, поэтому вы можете ее повторно использовать.

Но учтите, что если вы используете функцию с привязкой к (+), она будет доступна только внутри типа, поэтому вместо этого вы должны использовать статический член.

Затем вызвать существующую map2 функцию можно использовать по шаблону для снятия компонуйте Single-Case дискриминированных-Союз:

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