Как получить имя дня/месяца столбца в полярах ⇐ Python

[Anonymous]

У меня есть кадр данных Polars df, в котором есть столбец datetime date. Я пытаюсь получить название дня и месяца этого столбца.
Рассмотрим следующий пример.

Код: Выделить всё

import polars as pl
from datetime import datetime

df = pl.DataFrame({
"date": [datetime(2024, 10, 1), datetime(2024, 11, 2)]
})

Я надеялся, что смогу передать параметр в Month() или Weekday(), чтобы получить желаемый формат.
< pre class="lang-py Prettyprint-override">

Код: Выделить всё

df.with_columns(
pl.col("date").dt.month().alias("Month"),
pl.col("date").dt.weekday().alias("Day")
)

Код: Выделить всё

shape: (2, 3)
┌─────────────────────┬───────┬─────┐
│ date                ┆ Month ┆ Day │
│ ---                 ┆ ---   ┆ --- │
│ datetime[μs]        ┆ i8    ┆ i8  │
╞═════════════════════╪═══════╪═════╡
│ 2024-10-01 00:00:00 ┆ 10    ┆ 2   │
│ 2024-11-02 00:00:00 ┆ 11    ┆ 6   │
└─────────────────────┴───────┴─────┘

Однако, похоже, это не так. Мой желаемый результат выглядит следующим образом.

Код: Выделить всё

shape: (2, 3)
┌─────────────────────┬───────┬──────────┐
│ date                ┆ Month ┆ Day      │
│ ---                 ┆ ---   ┆ ---      │
│ datetime[μs]        ┆ str   ┆ str      │
╞═════════════════════╪═══════╪══════════╡
│ 2024-10-01 00:00:00 ┆ Oct   ┆ Tuesday  │
│ 2024-11-02 00:00:00 ┆ Nov   ┆ Saturday │
└─────────────────────┴───────┴──────────┘

Как извлечь название дня и месяца из столбца дата?

Подробнее здесь: https://stackoverflow.com/questions/793 ... -in-polars