Почему я получаю ошибку InvalidOperationError «Кодировка файла не UTF-8» при попытке записать_csv с помощью Polars? ⇐ Python

[Anonymous]

Код в принятом ответе на этот вопрос выглядит следующим образом:

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

import polars as pl

df1 = pl.DataFrame({"a": [1, 2], "b": [3 ,4]})
df2 = pl.DataFrame({"a": [5, 6], "b": [7 ,8]})

with open("out.csv", mode="a") as f:
df1.write_csv(f)
df2.write_csv(f, include_header=False)

В VSCode на моем компьютере с Windows 10 строка df1.write_csv(f) генерирует ошибку «polars.Exceptions.InvalidOperationError: кодировка файла не UTF-8». Может ли действительно быть проблема с кодировкой или что-то еще не так?
В более широком смысле, я хотел бы добавить в файл .csv, используя поляры, как описано в связанном вопросе. Является ли приведенный выше пример игрушки рекомендуемым подходом для этого?

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