F # нарезка массива по массиву индексов

Question

Как я могу перегрузить. [] Для массива F #, чтобы разрезать массив на основе произвольного индексного массива?

Например:

let x = [|1..10|]; 
let indx = [|4;1|];

хотя

[| for i in indx ->x.[i]|] 

будет работать, было бы лучше иметь возможность использовать x.[indx] напрямую.

Answer 1

Вы всегда можете написать метод расширения F #, чтобы приблизиться к синтаксису

let a = [| 1..10 |]
let idx = [|4;1|]

type 'T ``[]`` with   //'
    member this.Slice(indices:int array) =
        [| for i in indices -> this.[i] |]

printfn "%A" (a.Slice idx)

но, поскольку у массивов уже есть индексатор, не существует способа его перегрузить / изменить.