In reply to blue sky bird:
The great thing I've found about 80m ropes is when both ends are pretty knackered you can cut them in half and have two 40m ropes with one really good end. 40m ropes are great for a lot UK sport crags and also ideal for indoor use (just long enough to get down from the longest routes at my local wall).
The bad thing is that they do take up quite a bit of extra bulk and weight in your bag. Only an issue where the walk ins are long though. But of course they're also great if you're venturing abroad.
Personally I wouldn't go for one of the ultra lightweight ropes unless you've got a very specific long project that's right at your limit and the extra weight of a heavier rope might affect the outcome. It's only on really long pitches where the weight saving will be worthwhile. The more rope there is out the more weight you save. The main disadvantages are they'll wear out much faster and they're more expensive to begin with.
I've got two 80m ropes: an Edlerid 10mm for general use and a Mammut 9.5mm Infinity? for hard, long redpoints. Not using either much at the moment as I've mainly been to small crags so I currently use half of an 80m (so 40m), 9.8mm from Decathlon which was very good value at the time and is considerably lighter in my pack.
If you do go for one of the ultra light ropes you might want to invest in some roller biners too as they should help slow down the wear rate on the rope.