programming)声明式