[Clean Architecture] 함수형 프로그래밍

안녕하세요 너구리입니다.

 

오늘은 클린 아키텍처 함수형 프로그래밍에 대해 공부해 보려고합니다.

렛츠고

 

 

# 함수형 프로그래밍이란?

함수형 프로그래밍의 핵심 기반은 람다 계산법으로 발명되었다.

큰 특징으로는 가변 변수를 사용하지 않는다는 것이다.

 

(함수형 프로그래밍도 다음에 자세히 살펴보고 보충해야겠다)

 

# 아키텍처에서 바라본 함수형 프로그래밍 

아키텍처는 함수형 프로그래밍에서 가변변수를 사용하지 않는 점을 중요하게 생각한다.

그 이유는 무엇을까?

 

가변 변수를 쓰면 race condition, dead lock, concurrent update 같은 문제를 야기하기 때문이다.

아키텍처는 동시성 문제에 관심을 가져야 하는데

스레드와 프로세스가 여러 상활에서도 설계한 시스템이 강건해야 하기 때문이다.

 

불변성이 실현가능 하지만 저장공간이 무한하고 프로세서의 속도가 무한히 빠르다는 전제가 필요하다.

그래서 약간의 타협이 필요하다.

 

# 가변성의 분리

불변 컴포넌트와 가변 컴포넌트를 분리하는 것이다.

불변 컴포넌트는 순수하게 함수형 방식으로 작업을 처리 하여 가변 변수를 사용하지 않는다.

 

변수를 변경할 때는 가변 컴포넌트와 통신하고 사용한다.

이때 동시성 문제에 노출되기 때문에 트랜젝션 메모리를 사용해서 가변 변수를 보호한다.

 

# 이벤트 소싱

요즘 하드웨어의 발전으로 저장공간이 커지고 처리 속도가 빨라지면서 

가변 변수를 사용하지 않고 트랜젝션을 통해 데이터를 저장하고 처리한다.

 

그리고 생명주기를 이용해서 트랜젝션의 저장공간을 비워주면서 효율적으로 사용할 수 있는데

이게 이벤트 소싱의 기본 발상이다.

 

 

#  결론 : 구조적, 객체 지향, 함수형

구조적 프로그래밍 : 제어 흐름의 직접적인 전환에 부과되는 규율

객체지향 프로그래밍 : 제어 흐름의 간접적인 전환에 부과되는 규율

함수형 프로그래밍 : 변수 항당에 부과되는 규율

 

소프트웨어는 순차, 분기 ,반복, 참조이다.