基于函数式语言重新设计List