title: How to convert elements of `str.split()` in Python?
body: <p>I have the following:</p>
  <pre><code>[line.split(' ') for line in [
          line.rstrip() for line in file.readlines()]]
  </code></pre>
  <p>which returns a list of list of strings. I know I could do the following to convert it to a list of list of integers:</p>
  <pre><code>    for row in tree:
          row[:] = map(int, row[:])
  </code></pre>
  <p>Can that be done inline as the lines are being processed?</p>
  <p>Some sample data:</p>
  <pre><code>59
  73 41
  52 40 09
  26 53 06 34
  10 51 87 86 81
  </code></pre>