手続き型スタイル
def length(x):
    n = 0
    while x != []:
        n += 1
        x = x[1:]
    return n

関数型スタイル（？）
def length(x): return reduce(lambda n,_: n + 1, [0] + x)