¿Es posible combinar con secuencias descompuestas en F #?

Question

Me parece recordar una versión anterior de F # que permite la descomposición estructural cuando se combinan secuencias al igual que las listas. ¿Hay alguna manera de usar la sintaxis de la lista mientras se mantiene la secuencia floja? Tengo la esperanza de evitar una gran cantidad de llamadas a Seq.head y Seq.skip 1.

que estoy esperando algo como:

let decomposable (xs:seq<'a>) = 
    match xs with 
    | h :: t -> true 
    | _ -> false 
seq{ 1..100 } |> decomposable 

Pero esto sólo se ocupa de las listas y da un error de tipo cuando usando secuencias. Al usar List.of_seq, parece evaluar todos los elementos en la secuencia, incluso si es infinito.

Answer 1

Si usa el tipo LazyList en el PowerPack, tiene patrones activos llamados LazyList.Nil y LazyList.Cons que son excelentes para esto.

El tipo seq/IEnumerable no es particularmente compatible con la coincidencia de patrones; Recomiendo LazyList para esto. (Consulte también Why is using a sequence so much slower than using a list in this example.)

let s = seq { 1..100 } 
let ll = LazyList.ofSeq s 
match ll with 
| LazyList.Nil -> printfn "empty" 
| LazyList.Cons(h,t) -> printfn "head: %d" h 

Answer 2

Seq funciona bien en los patrones activos! A menos que estoy haciendo algo horrible aquí ...

let (|SeqEmpty|SeqCons|) (xs: 'a seq) = //' 
    if Seq.isEmpty xs then SeqEmpty 
    else SeqCons(Seq.head xs, Seq.skip 1 xs) 

// Stupid example usage 
let a = [1; 2; 3] 

let f = function 
    | SeqEmpty -> 0 
    | SeqCons(x, rest) -> x 

let result = f a 

No sé cómo conseguir el código de Stackoverflow destacando en modo F #, creo que es el uso de OCaml aquí, así que la anotación genérica va loco ...

Answer 3

Recuerde que seq también tiene funciones para reducir mapas, por lo que a menudo puede salirse con la suya solo. En el ejemplo, su función es equivalente a "Seq.isEmpty". Puede tratar de iniciar fsi y simplemente ejecutar las opciones de finalización de pestañas (ingrese "Seq." Y pulse la pestaña mucho); podría tener lo que quieres.