[KOTLIN] 함수형 프로그래밍

함수형 프로그래밍 개념 

---

함수형 프로그래밍이란?

코틀린은 함수형 프로그래밍과 객체 지향 프로그래밍을 모두 지원하는 다중 패러다임 언어 
함수형 프로그래밍은 순수 함수를 작성하여 프로그램의 부작용을 줄이는 프로그래밍 기법을 의미함 
함수형 프로그래밍에서는 람다식과 고차 함수를 사용 

 

순수 함수

---

순수 함수란?

함수형 프로그래밍은 순수 함수를 사용하자는 것에서 시작됨
만일 어떤 함수가 같은 인자에 대하여 항상 같은 결과를 반환하면 '부작용이 없는 함수'라고 말함 
'부작용이 없는 함수'가 함수 외부의 어떤 상태도 바꾸지 않는다면 순수 함수라고 함 
이러한 특성으로 스레드에 사용해도 안전하고, 테스트하기도 쉽다는 장점이 있음 

 

람다식

---

람다식이란? 

함수형 프로그래밍에서 사용되는 개념 
수학에서 말하는 람다 대수로부터 유래됨
다른 함수의 인자로 넘기는 함수, 함수의 결과값으로 반환하는 함수, 변수에 저장하는 함수를 의미함

 

람다식의 형태

일급 객체 

---

일급 객체란?

함수형 프로그래밍에서는 함수를 일급 객체로 생각함 
람다식 역시 일급 객체의 특징을 가지고 있음 
다음과 같은 특징을 만족하는 것을 일급 객체라고 함 

1. 일급 객체는 함수의 인자로 전달할 수 있음 
2. 일급 객체는 함수의 반환값에 사용될 수 있음 
3. 일급 객체는 변수에 담을 수 있음 

 

일급 함수 

• 일급 객체의 특징을 만족하는 함수를 일급 함수라고 부름 
• 일급 함수에 이름이 없는 경우를 람다식 함수 혹은 람다식이라고 부를 수 있음 

 

고차 함수 

---

고차 함수란?

다른 함수를 인자로 사용하거나 함수를 결과값으로 반환하는 함수를 의미함 
두 특징을 모두 갖고 있어도 고차 함수임 
즉, 일급 객체 혹은 일급 함수를 서로 주고받을 수 있는 함수가 고차 함수가 될 수 있음

 

고차 함수의 예시(인자로 일급 함수가 들어가게 됨)

 

REFERENCE

DO it! 코틀린 프로그래밍, 이지스 퍼블리싱, 황영덕 지음