4.1.3 惰性和递归