Удалить третий элемент в списке F #

Question

Я пишу функцию, возвращающую список минус третье значение. Вот мой текущий код:

let listString = [ "1"; "2"; "3"; "4" ];; 

let del3 (listA :'a) = [listA.Head; listA.Tail.Head] @ [listA.Tail.Tail.Tail];; 

del3 listString 

и я получаю сообщение об ошибке:

Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved.

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

Answer 1

При доступе к членам, методам или свойствам объекта F # должен знать тип этого объекта. Он не может просто вывести тип из того факта, что вы обращаетесь к свойству с именем Head, потому что может быть много разных классов, обладающих таким свойством.

Чтобы устранить эту проблему, дайте listA аннотацию типа или используйте List.head и List.tail вместо свойств.

Answer 2

Вы должны сообщить компилятору, что listA - это список. Также Tail возвращает список, поэтому для второго списка вы добавление вы не хотите, чтобы обернуть хвост в виде списка, в противном случае вы будете иметь список списка:

let listString = [ "1"; "2"; "3"; "4" ] 

let del3 (listA :'a list) = [listA.Head; listA.Tail.Head] @ listA.Tail.Tail.Tail 

del3 listString;; 

Раствор обрабатывать списки всех размеров:

let del3 = function 
    | a::b::c::tail -> a::b::tail 
    | list -> list 

Answer 3

Я думаю, что более простой подход, основанный на шаблоне сопоставляются может быть лучше

let del3 = function |a::b::c::d -> a::b::d | _ -> failwith "insufficient input"