[Swift] 스위프트의 함수형 프로그래밍 패러다임

💡 함수형 프로그래밍 패러다임?

• 프로그램이 상태의 변화 없이 데이터 처리를 수학적 함수 계산으로 취급하고자 하는 패러다임
• 함수 자체의 응용을 중요하게 여김
• 순수하게 함수에 전달된 인자 값만 결과에 영향을 주므로 상태 값을 갖지 않고 순수하게 함수만으로 동작
  • 어떤 상황에서 프로그램을 실행하더라도 일정하게 같은 결과를 도출할 수 있음!

 

 

함수형 프로그래밍의 장점

• 프로그램이 동작하는 흐름에서 상태(값)이 변하지 않으면 함수 호출이 각각 상호 간섭없이 배타적으로 실행되므로 병렬처리할때 부작용이 거의 없다.
• 또한, 필요한 만큼 함수를 나누어 처리할 수 있도록 스케일 업할 수 있기 때문에 대규모 병렬처리에 큰 강점!
• 멀티 코어 혹은 여러 개 연산 프로세서를 사용하는 시스템에서 효율적인 프로그램을 만들기 쉽다.
• 상태변화에 따른 부작용에서 자유로워지므로 순수하게 기능 구현에 초점을 맞추어 설계할 수 있다.

 

함수형 프로그래밍의 일급 객체 조건 (모두 충족해야함)

1. 전달인자로 전달 할 수 있다.
2. 동적 프로퍼티 할당이 가능하다.
3. 변수나 데이터 구조 안에 담을 수 있다.
4. 반환 값으로 사용할 수 있다.
5. 할당할 때 사용된 이름과 관계없이 고유한 객체로 구별할 수 있다.

스위프트의 함수는 이 조건을 모두 충족하기에 함수를 일급객체로 취급한다.

 

일급 객체?
컴퓨터 프로그래밍 언어 디자인에서, 일급 객체란 다른 객체들에 일반적으로 적용 가능한 연산을 모두 지원하는 객체를 가리킨다. 보통 함수에 인자로 넘기기, 수정하기, 변수에 대입하기와 같은 연산을 지원할 때 일급 객체라한다 
- 위키백과

 

➰ 함수형 프로그래밍 패러다임 코드

// doSomething 함수와 doAnotherThing 함수를 모두 처리하고 싶을 경우

func doSomething(){
	print("do somgthing")
}

func doAnotherThing(){
	print("do another thing")
}

func excute(tasks: [()-> Void] {
	for task in tasks {
    	task()
    }
}

excute(tasks: [doSomething, doAnotherThing])	// 두 함수를 전달인자로 사용할 수 있다.

// 두 수의 합을 구하고 싶을 경우

func sum(first: Int) -> ((Int)->Int){
	return { second in first + second }
}
// 함수형 프로그래밍 패러다임에서 즐겨 사용되는 커링 기법으로 전달인자를 하나만 두고 반환하면서 second in first + second 처럼 전달인자를 사용할 수 있다.
// 커링 기법 ? 여러개의 매개변수를 갖는 함수를 매개변수 하나를 갖는 함수의 나열로 표현하는 방법

sum(first: 10)(5)

 

스위프트가 함수형 프로그래밍 패러다임을 차용한 의의

• 스위프트는 객체지향 프로그래밍 패러다임 + 함수형 프로그래밍 패러다임
• 애플의 프레임워크를 벗어나 다른 영역 (예를들면 서버용 프레임워크 등)에서 스위프트를 사용했을 때 순수하게 함수형 프로그래밍 패러다임 만으로 프로그램을 작성할 수 있어 애플은 함수형 프로그래밍 패러다임을 특히 강조한다.
• 때에 따라 적절하게 객체지향과 함수형 프로그래밍 패러다임을 섞어 프로그램을 작성하면 필요한 기능에 맞게 최적의 성능을 발휘할 수도 있고, 생산성도 극대화 할 수 있다.

 

---

Reference

Swift 프로그래밍 3판 - 야곰