In reply to Paul Hy:
Rope length is nearly always a compromise. I have used pretty much any length. My biggest problem is usually with the amount of rope I have to pull through - that often seems to be the most tiring part of the day! For grit, I have to admit that I prefer my 35m half ropes (cut down from old 50m ropes). I currently use 60m half ropes for most of my climbing - I bought them with an eye to winter climbing - and while they have been very useful several times (I like to run pitches together, and some of the abseils descents in the Wye valley are easier on longer ropes), they are substantially heavier and bulkier than 50m ropes and there is noticeably more rope to pull through on shorter pitches. For grit they would be massive overkill.
I think for summer use in the UK, I would stick with 50m half ropes for most cases.
For Spain, I have to admit that I would get a rope that is at least 60m, but depending on where you go, you can usually do quite a lot of routes with a 50m.