声明式编程：by example_声明式_agnostic