Python Polars: как получить количество строк LazyFrame? ⇐ Python

[Anonymous]

У меня есть CSV-файл размером 70 ГБ. Я хочу загрузить DF и посчитать количество строк в ленивом режиме. Как лучше всего это сделать?
Насколько я могу судить, согласно документации, в ленивом режиме нет такой функции, как shape.
Я нашел этот ответ, который предоставляет решение не на основе Polars, но мне интересно, можно ли сделать это и в Polars.

Подробнее здесь: https://stackoverflow.com/questions/755 ... -lazyframe