什么是声明式编程_函数式_canonical