IMO retirement isn't a long holiday but it's for people who cannot contribute to society anymore.
That point might be reached earlier for some people, e.g. those who have a hard physical job, than others and a general retirement age is an approximation for when that point is reached for the general population.