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

선언형 프로그래밍(declarative programming)

선언형 프로그래밍이란 '무엇을' 풀어내는가에 집중하는 패러다임이며, "프로그램은 함수로 이루어진 것이다." 라는 명제가 담겨잇는 패러다임이기도 합니다.

함수형 프로그래밍(functional programming)

선언형 프로그래밍의 일종으로, 작은 '순수 함수'들을 블록처럼 쌓아 로직을 구현하고 '고차 함수'를 통해 재사용성을 높인 프로그래밍 패러다임입니다.

즉, 함수형 프로그래밍은 거의 모든 것을 순수 함수로 나누어 문제를 해결하는 기법으로, 작은 문제를 해결하기 위한 함수를 작성하여 가독성을 높이고 유지보수를 용이하게 합니다.

순수 함수란?

출력이 입력에만 의존하는 것을 의미합니다.

고차 함수란?

함수가 함수를 값처럼 매개변수로 받아 로직을 생성할 수 있는 것을 말합니다.
이때 고차 함수를 쓰기 위해서는 해당 언어가 일급 객체라는 특징을 가져야하며 그 특징은 다음과 같습니다.

• 변수나 메서드에 함수를 할당할 수 있습니다.
• 함수 안에 함수를 매개변수로 담을 수 있습니다.
• 함수가 함수를 반환할 수 있습니다.