是否可以与F#中的分解序列匹配?

如果您在PowerPack中使用LazyList类型,那么它具有称为LazyList.Nil和LazyList.Cons的活动模式,这两种模式非常适合于此。

seq/IEnumerable类型并不特别适合于模式匹配;我强烈推荐LazyList。(另见 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

Seq在活动模式下工作良好!除非我做了什么可怕的事。。。

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

请记住,seq还具有map-reduce函数,因此您通常只能使用这些函数。在本例中,您的函数等价于“Seq.isEmpty”。您可以尝试启动fsi,只需运行选项卡完成选项(输入“Seq.”并多次点击选项卡);它可能有你想要的。