[julia-users] Re: How to efficiently count the number of lines in a file

[Keith Campbell]

You could try countlines().   
Also, you likely want eachline() rather than readlines().  eachline() will 
iterate through the file for you.
cheers,
Keith