F # удалить определенный элемент в массиве

Question

Я посмотрел в модуле массива F #, но кажется, что нет функции, которая могла бы удалить определенный элемент из массива. Мне просто интересно, существует ли какая-либо функция, которая делает это?

E.g.

remove 2 [| 0 ; 1 ; 2 ; 3 ; 4 |] 
val it -> [| 0 ; 1 ; 3 ; 4 |] 

UPDATE

Массив фильтра, что я ищу. В дополнение к этому, немного более конкретным с моим делом.

Если массив, который у меня есть, не является массивом обычного типа, а массивом ссылок определенного класса. Предполагая, что я хочу удалить только элемент, у которого member.order = 2, тогда как будет предикат?

Answer 1

Вы можете достичь этого с помощью F # Array функции модуля Array.filter, как показано ниже:

> [| 0 ; 1 ; 2 ; 3 ; 4 |] |> Array.filter ((<>)2);; 
val it : int [] = [|0; 1; 3; 4|] 

UPDATE: Это не трудно понять, что должно быть лямбда. Для того, чтобы сделать его немного менее скучен, вы можете получить тот же результат, с другой одной функцией Array.choose:

Array.choose (fun x -> if x.order = 2 then None else Some(x)) 

Также позвольте мне отметить, что обе функции решения нескольких иного немого вопроса: удалить из массива все элементов, удовлетворяющих условию. Буквально ваш вопрос может быть прочитан как удаление только первый возникновение элемента. Такое чтение еще дает вам шанс для creative вклад в вашу домашнюю работу :)