Разделить массив в кадре данных Polars на обычные столбцы ⇐ Python

[Anonymous]

У меня есть pl.DataFrame со столбцом массива. Мне нужно разделить столбцы массива на традиционные столбцы, одновременно назначая заголовки.
import polars as pl

df = pl.DataFrame(
{
"first_last": [
["Anne", "Adams"],
["Brandon", "Branson"],
["Camila", "Campbell"],
["Dennis", "Doyle"],
],
},
schema={
"first_last": pl.Array(pl.String, 2),
},
)

shape: (4, 1)
┌────────────────────────┐
│ first_last │
│ --- │
│ array[str, 2] │
╞════════════════════════╡
│ ["Anne", "Adams"] │
│ ["Brandon", "Branson"] │
│ ["Camila", "Campbell"] │
│ ["Dennis", "Doyle"] │
└────────────────────────┘

Мне нужно вот так:
shape: (4, 2)
┌─────────┬──────────┐
│ first ┆ last │
│ --- ┆ --- │
│ str ┆ str │
╞═════════╪══════════╡
│ Anne ┆ Adams │
│ Brandon ┆ Branson │
│ Camila ┆ Campbell │
│ Dennis ┆ Doyle │
└─────────┴──────────┘


Подробнее здесь: https://stackoverflow.com/questions/796 ... ar-columns