Ошибка в оценке с учетом нулевых значений в Polars 1.22.0? ⇐ Python

[Anonymous]

Я заметил, что полярное выражение:

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

pl.DataFrame(data={}).select(a=pl.lit(None) | pl.lit(True))

вычисляет значение True, но, по моим оценкам, оно должно иметь значение None,
на основе концепции «оценки с учетом нуля».

Эта концепция гарантирует, что если какая-либо часть выражения оценивается как
null, общий результат также будет нулевым. Это особенно актуально
в выражениях, включающих несколько операций, где наличие
нулевого значения может повлиять на конечный результат.

Напротив:

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

pl.DataFrame(data={}).select(a=pl.lit(None) & pl.lit(True))

действительно имеет значение None, а не False. И так же со всеми выражениями:

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

pl.DataFrame(data={}).select(a=pl.lit(None) > pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) < pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) == pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) + pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) - pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) * pl.lit(2))
pl.DataFrame(data={}).select(a=pl.lit(None) / pl.lit(2))

Что здесь происходит?

Подробнее здесь: https://stackoverflow.com/questions/794 ... ars-1-22-0