f# - 共用体型を単一型に判別するフィルター リスト

Question

与えられた型

type C = Circle of int | Rectangle of int * int

そしてコレクション

let l = [ Circle(1); Circle(2); Rectangle(1,2)]

円だけを扱いたい

 let circles = l |> List.filter(fun x-> match x with 
                                        | Circle(l) -> true
                                        | _ -> false)

しかし、私のサークルはまだタイプ C であるため、できません。

for x in circles do
  printf "circle %d" x.??

私がしなければなりません

for x in circles do
  match x with 
  | Circle(l) -> printf "circle %d" l
  | _ -> ())

間違っているようです..

Answer 1

使用するList.chooseような、1つList.filterにList.map丸められます。

let circles =
    l |> List.choose(fun x ->
        match x with 
        | Circle l -> Some l
        | _ -> None)

for x in circles do
  printf "circle %d" x

Answer 2

l|>Seq.iter (function |Circle l->printf "circle %d" l|_->())