2

以下のようなリストがあった場合に、Someの要素のみを取り出す方法を教えてください。

let xs = [ Some 10; None; Some 30; Some 2; None ]

単にfilterしただけだと、Someが残ってしまいますが、Someだけを取り出しているのでこれを取り除きたいです。

let res =
  xs
  |> List.filter Option.isSome
  |> List.map Option.get // [ 10; 30; 2 ]

これで一応実現はできますが、(Option.isSomeでフィルタしているから大丈夫だとはいえ)Option.getを使っているのが危険な感じがして気持ち悪いです。

1 件の回答 1

1

List.choose関数を使いましょう。 これを使うと、以下のように書けます。

let res = xs |> List.choose id

List.chooseは、'a -> 'b optionという関数を受け取り、Someが返されるとそれに包まれた値のみを結果に含むようなリストが返されます。 今回の場合、'aの型自身がoptionなので、何もしないid関数を渡せばSomeに包まれた要素のみを含むリストが得られます。

Listモジュールだけでなく、SeqモジュールやArrayモジュールにもchoose関数はあるので、このような操作がしたい場合は使うといいでしょう。

また、上の例でOption.getと何かの関数を合成していた場合は、Option.map関数にその関数を渡したものをchooseに渡せばいいです。 例えば、

let res =
  xs
  |> List.filter Option.isSome
  |> List.map (Option.get >> string)

このコードは以下のように書き換えます。

let res = xs |> List.choose (Option.map string)

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。