正确性

不可变性

封装

可组合

可读