title: What's the best way to read from stdin?
body: <p>I am currently trying to learn F# better and I am using codingame as an source of programming quizzes.</p>
  
  <p>Most of the quizess involves reading some values from stdin, like the first ten values on stdin will be ints, the next five will be strings.</p>
  
  <p>Currently, I am using this function to read the data, but it feels very "un-f#".</p>
  
  <pre><code>let N = 5
  let Reader i =
      Console.In.ReadLine()
  
  let words = [0..N-1] |&gt; Seq.map Reader 
  </code></pre>