Ich muss eine Zeilenanzahl einer großen Datei (Hunderttausende von Zeilen) in Python erhalten. Was ist der effizienteste Weg sowohl in Bezug auf das Gedächtnis als auch in Bezug auf die Zeit? Im Moment mache ich: def file_len(fname): with open(fname) as f: for i, l in enumerate(f): pass return i +...