¿Por qué no hay List.skip y List.take?

Question

¿Por qué no hay List.skip y List.take? Por supuesto, hay Seq.take y Seq.skip, pero no crean listas como resultado.

Una posible solución es: mylist |> Seq.skip N |> Seq.toList Pero esto crea el primer enumerador y luego una nueva lista de ese enumerador. Creo que podría haber una forma más directa de crear una lista inmutable a partir de una lista inmutable. Como no hay copia de elementos internamente, solo hay referencias de la nueva lista a la original.

Otra solución posible (sin lanzar excepciones) es:

let rec listSkip n xs = 
    match (n, xs) with 
    | 0, _ -> xs 
    | _, [] -> [] 
    | n, _::xs -> listSkip (n-1) xs 

Pero esto todavía no responde a la pregunta ...

Answer 1

La supuesta List.skip 1 se llama List.tail, usted puede simplemente tail en la lista n veces.

List.take habría que crear una nueva lista de todos modos, ya que sólo los sufijos comunes de una lista inmutable pueden ser compartidos.

Answer 2

Por cierto, usted puede agregar sus funciones a la lista módulo:

module List = 
    let rec skip n xs = 
     match (n, xs) with 
     | 0, _ -> xs 
     | _, [] -> [] 
     | n, _::xs -> skip (n-1) xs