Tail-recursive length function for lists, using an accumulator.

length_acc.rs

fn length_acc<A>(l: @List<A>, acc: uint) -> uint {
    match *l {
        Empty => acc,
        Cons(_, rest) => length_acc(rest, acc + 1)
    }
}