title: Convert a JSON representation of CSV data to actual CSV data
body: <p>This self-answered question is about transforming a JSON representation of CSV data into actual CSV data.<sup>[1]</sup></p>
  <p>The following JSON contains separate properties that describe the headers (column names) (<code>columns</code>) and arrays of corresponding row values (<code>rows</code>), respectively:</p>
  <pre class="lang-json prettyprint-override"><code>{
    &quot;columns&quot;: [
        {
            &quot;name&quot;: &quot;ColumnName1&quot;,
            &quot;type&quot;: &quot;Number&quot;
        },
        {
            &quot;name&quot;: &quot;ColumnName2&quot;,
            &quot;type&quot;: &quot;String&quot;
        },
        {
            &quot;name&quot;: &quot;ColumnName3&quot;,
            &quot;type&quot;: &quot;String&quot;
        }
    ],
    &quot;rows&quot;:    [
        [
            11111,
            &quot;ResourceType1&quot;,
            &quot;String1&quot;
        ],
        [
            22222,
            &quot;ResourceType2&quot;,
            &quot;String2&quot;
        ],
        [
            33333,
            &quot;ResourceType3&quot;,
            &quot;String3&quot;
        ]
    ]
  }
  </code></pre>
  <p>How can I convert this JSON input to the CSV data it represents?</p>
  <hr />
  <p><sup>[1] The question duplicates <a href="https://stackoverflow.com/q/69274286/45375">this closed question</a>, which was closed presumably due to lack of effort, even though what it asks for is reasonably well-defined.</sup></p>