6.3.1 声明式编程简述