¿F # tiene un equivalente a la toma de Haskell?

Question

En Haskell, hay una función "tomar n lista" que devuelve los primeros n elementos de una lista. Por ejemplo, "sum (take 3 xs)" resume los primeros tres elementos en la lista xs. ¿F # tiene un equivalente? Esperaba que fuera una de las funciones de lista, pero no puedo encontrar nada que parezca coincidir.

Answer 1

Sí, se llama Seq.take. El uso parece ser idéntico al de Haskell: Seq.takerecuento de origen. Para usarlo en una lista, primero use List.toSeq. (Actualización: Al parecer, a partir de los comentarios, esto no es necesario.)

Answer 2

Para aclarar algunas cosas, la diferencia entre Seq.take y Seq.truncate (como ha señalado @ sepp2k) es que el segundo le dará una secuencia que devuelve como máximo el número de elementos que especificó (pero si la longitud de la secuencia es menor, le dará menos elementos).

la secuencia generada Seq.take función producirá una excepción si se intenta acceder a un elemento más allá de la longitud de la lista original (Tenga en cuenta que la función Seq.take no lanza la excepción de inmediato, ya que el resultado se genera pereza secuencia).

Además, no necesita convertir la lista a una secuencia explícitamente. Debajo de la cubierta, list<'a> es una clase .NET que hereda del tipo seq<'a>, que es una interfaz. El tipo seq<'a> es en realidad solo un alias de tipo para IEnumerable<'a>, por lo que es implementado por todas las demás colecciones (incluidas matrices, listas de variables, etc.). El siguiente código funciona bien:

let list = [ 1 .. 10 ] 
let res = list |> Seq.take 5 

Sin embargo, si usted desea conseguir un resultado de tipo list<int> que necesita para convertir la secuencia de nuevo a una lista (lista es porque un tipo más específico de una secuencia):

let resList = res |> List.ofSeq 

no estoy seguro de por qué F # bibliotecas no proporcionan List.take o List.truncate. Supongo que el objetivo era evitar volver a implementar todo el conjunto de funciones para todos los tipos de colecciones, por lo que aquellas donde la implementación de secuencias es lo suficientemente buena cuando se trabaja con un tipo de colección más específico solo están disponibles en el módulo Seq (pero eso es solo mi suposición ...)

Answer 3

Seq.take funciona, como otros ya han indicado, pero todas las operaciones Seq en una lista tienen un costo. En el caso de Seq.take, no es sorprendente, ya que la lista debe ser copiada.

Es más notable que, por ejemplo, Seq.concat en una lista lleva mucho más tiempo que List.concat. Supongo que eso implica que no solo accede a la lista como una secuencia cuando llama a una función Seq.xxx, sino también que la lista está copiada/convertida a Seq detrás de escena.

edición: La razón por la que señaló a la conclusión anterior, fue este banco usando F # interactivo:

#time "on";; 
let lists = [for i in 0..5000000 -> [i..i+1]];; 
Seq.length (Seq.concat lists);; 
List.length (List.concat lists);; 

En mi máquina, la versión List.length tarda unos 1,9 segundos, mientras que la versión Seq.length tarda aproximadamente 3.8 segundos (el tiempo más corto de algunas pruebas repetidas de las líneas de longitud solamente, excluyendo la línea de generación de listas).