title: Getting list of values from list of options
body: <p>I have a simple list of string options, like this:</p>
  <pre><code>let myList = [ None; Some &quot;foo&quot;; Some &quot;bar&quot; ]
  </code></pre>
  <p>I tried to get the non-empty values from the list using this approach:</p>
  <pre><code>myList
  |&gt; List.filter Option.isSome
  |&gt; List.map Option.get
  </code></pre>
  <p>But then I found another code somewhere on the Internet:</p>
  <pre><code>myList
  |&gt; List.choose id
  </code></pre>
  <p>They both do the exact same thing. Are there any performance differences between those two code samples? Or is it just about code preference?</p>