선언형과 함수형 프로그래밍